MSFP@MPC

Keyphrases

Publications

2006

Robert Atkey
Parameterised Notions of Computation. MSFP@MPC (2006)
John Power
The Universal Algebra of Computational Effects: Lawvere Theories and Monads. MSFP@MPC (2006)
Bart Jacobs, Ichiro Hasuo
Freyd is Kleisli, for Arrows. MSFP@MPC (2006)
Andrzej Filinski
Monadic Reflection in Haskell. MSFP@MPC (2006)
Jeremy Gibbons, Bruno C. d. S. Oliveira
The Essence of the ITERATOR Pattern. MSFP@MPC (2006)
Andreas Abel
Implementing a Normalizer Using Sized Heterogeneous Types. MSFP@MPC (2006)
Thorsten Altenkirch, James Chapman
Tait in One Big Step. MSFP@MPC (2006)
J. Michael Spivey
Algebras for Combinatorial Search. MSFP@MPC (2006)
Ralph Matthes
Verification of Programs on Truly Nested Datatypes in Intensional Type Theory. MSFP@MPC (2006)
Workshop on Mathematically Structured Functional Programming, MSFP@MPC 2006, Kuressaare, Estonia, July 2, 2006. MSFP@MPC (2006)
Facundo Domínguez, Alberto Pardo
Program Fusion with Paramorphisms. MSFP@MPC (2006)
Catherine Hope, Graham Hutton
Compact Fusion. MSFP@MPC (2006)