The Functional Programming (FP) Launchpad at IIT Madras aims to build research and educational capacity for crafting efficient, reliable and trustworthy software with mathematical guardrails. The ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results