Accepting submissions
Not accepting submissions
Abhinav Sarkar Basics of Type-level Programming in HaskellWe’ll learn about the basics of type-level programming in Haskell: more
|
|
SP
Srijan Paul Formalizing ML for Functional LanguagesAt first glance, the typical ML training loop might seem infeasible to formalize in pure languages. more
|
Hosted by
The homepage for the Indian Functional Programming community