- Conor McBride, Tarmo Uustalu:
Workshop on Mathematically Structured Functional Programming, MSFP@MPC 2006, Kuressaare, Estonia, July 2, 2006. Workshops in Computing, BCS 2006
- Andrzej Filinski:
Monadic Reflection in Haskell.
- John Power:
The Universal Algebra of Computational Effects: Lawvere Theories and Monads.
- Andreas Abel:
Implementing a Normalizer Using Sized Heterogeneous Types.
- Thorsten Altenkirch, James Chapman:
Tait in One Big Step.
- Robert Atkey:
Parameterised Notions of Computation.
- Facundo Domínguez, Alberto Pardo:
Program Fusion with Paramorphisms.
- Jeremy Gibbons, Bruno C. d. S. Oliveira:
The Essence of the ITERATOR Pattern.
- Catherine Hope, Graham Hutton:
- Bart Jacobs, Ichiro Hasuo:
Freyd is Kleisli, for Arrows.
- Ralph Matthes:
Verification of Programs on Truly Nested Datatypes in Intensional Type Theory.
- J. Michael Spivey:
Algebras for Combinatorial Search.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.