Browse the conference papers here

Monadic Reflection in Haskell
Andrzej Filinski

The Universal Algebra of Computational Effects: Lawvere Theories and Monads
John Power

Implementing a Normalizer Using Sized Heterogeneous Types
Andreas Abel

Tait in One Big Step
Thorsten Altenkirch and James Chapman

Parameterised Notions of Computation
Robert Atkey

Program Fusion with Paramorphisms
Facundo Domínguez and Alberto Pardo

The Essence of the ITERATOR Pattern
Jeremy Gibbons and Bruno C. d. S. Oliveira

Compact Fusion
Catherine Hope and Graham Hutton

Freyd is Kleisli, for Arrows
Bart Jacobs and Ichiro Hasuo

Verification of Programs on Truly Nested Datatypes in Intensional Type Theory
Ralph Matthes

Algebras for Combinatorial Search
Michael Spivey