- prerequisites:
- subtopics:
- curators:
- Domen Kozar
- Existential Type
- Keathley
- Robert Widmann
- Send More Paramedics
- Stephen Diehl
- Taktoa
- To Overcome
- Course in functional programming by KTH 🆓
- Functional Programming Course 🆓
- Programming paradigms (2018) 🆓
- How to make ad-hoc polymorphism less ad hoc (1988)
- Lazy functional state threads (1994) - Accessible introduction to the machinery underneath ST and IO.
- The countdown problem (2002)
- Functional program to solve sudoku (2006)
- Infinite sets that admit fast exhaustive search (2007)
- Applicative programming with effects (2008)
- Data types a la carte (2008)
- Parallel Functional Arrays (2017)
- Trees that grow
- Super compilation by evaluation
- Cache Efficient Functional Algorithms
- Breaking through the normalisation barrier: a self-interpreter for f-omega
- Typed self-evaluation via intensional type functions
- Freer monads, more extensible effects
- The Genuine Sieve of Eratosthenes