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 centre is headed by KC Sivaramakrishnan.
If you are interested in joining the group, see this post.
CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
OCaml reading group at IIT Madras
CS3100: Paradigms of Programming at CSE IITM (Fall 2019)
Benchmarking environment for http servers
This organization has no public members. You must be a member to see who’s a part of this organization.
Loading…
Loading…
