Committee
Programme Co-chairs
Conor McBride (University of Nottingham, UK)
Tarmo Uustalu (Institute of Cybernetics, Estonia)
Programme Committee
Yves Bertot (INRIA Sophia Antipolis, France)
Marcelo Fiore (University of Cambridge, UK)
Masahito Hasegawa (Kyoto University, Japan)
Graham Hutton (University of Nottingham, UK)
Paul Levy (University of Birmingham, UK)
Andres Löh (Universität Bonn, Germany)
Christoph Lüth (Universität Bremen, Germany)
Marino Miculan (Università degli Studi di Udine, Italy)
Randy Pollack (University of Edinburgh, UK)
Amr Sabry (Indiana University, USA)
Additional Referees
Robin Adams, Edwin Brady, Pietro Di Gianantonio, Fabio Gadducci, Neil Ghani, Healfdene Goguen, Jevgeni Kabanov, Ralph Matthes, James McKinna, Varmo Vene
Host Institution
Institute of Cybernetics at Tallinn University of Technology
Sponsors
This conference was sponsored by EU FP6 IST coordination action TYPES - Types for Proofs and Programs and Center for Dependable Computing of the National Centers of Excellence Programme of the Estonian Ministry of Education and Research.
Papers:
Andrzej Filinski Monadic Reflection in Haskell http://dx.doi.org/10.14236/ewic/MSFP2006.1
John Power The Universal Algebra of Computational Effects: Lawvere Theories and Monads http://dx.doi.org/10.14236/ewic/MSFP2006.2
Andreas Abel Implementing a Normalizer Using Sized Heterogeneous Types http://dx.doi.org/10.14236/ewic/MSFP2006.3
Thorsten Altenkirch and James Chapman Tait in One Big Step http://dx.doi.org/10.14236/ewic/MSFP2006.4
Robert Atkey Parameterised Notions of Computation http://dx.doi.org/10.14236/ewic/MSFP2006.5
Facundo Domínguez and Alberto Pardo Program Fusion with Paramorphisms http://dx.doi.org/10.14236/ewic/MSFP2006.6
Jeremy Gibbons and Bruno C. d. S. Oliveira The Essence of the ITERATOR Pattern http://dx.doi.org/10.14236/ewic/MSFP2006.7
Catherine Hope and Graham Hutton Compact Fusion http://dx.doi.org/10.14236/ewic/MSFP2006.8
Bart Jacobs and Ichiro Hasuo Freyd is Kleisli, for Arrows http://dx.doi.org/10.14236/ewic/MSFP2006.9
Ralph Matthes Verification of Programs on Truly Nested Datatypes in Intensional Type Theory http://dx.doi.org/10.14236/ewic/MSFP2006.10
Michael Spivey Algebras for Combinatorial Search http://dx.doi.org/10.14236/ewic/MSFP2006.11