Linking pages
- Jesper Cockx - 1001 Representations of Syntax with Binding https://jesper.cx/posts/1001-syntax-representations.html 20 comments
- Set-theoretic foundation of parametric polymorphism and subtyping | Proceedings of the 16th ACM SIGPLAN international conference on Functional programming http://dl.acm.org/citation.cfm?id=2034788 10 comments
- Comprehending monads | Proceedings of the 1990 ACM conference on LISP and functional programming https://dl.acm.org/doi/10.1145/91556.91592 0 comments
- Jesper Cockx - 1001 Representations of Syntax with Binding https://jesper.sikanda.be/posts/1001-syntax-representations.html 0 comments
- Tic tac types: a gentle introduction to dependently typed programming (functional pearl) | Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development https://dl.acm.org/citation.cfm?doid=3331554.3342606 0 comments