| 1 | -- | 2 | Venanzio Capretta, Conor McBride. Preface |
| 3 | -- | 17 | Andreas Abel, Thorsten Altenkirch. A Partial Type Checking Algorithm for Type: Type |
| 19 | -- | 37 | Robert Atkey. What is a Categorical Model of Arrows? |
| 39 | -- | 56 | Eric Badouel, Bernard Fotsing, Rodrigue Tchougong. Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers |
| 57 | -- | 74 | Alcino Cunha, Hugo Pacheco. Algebraic Specialization of Generic Functions for Recursive Types |
| 75 | -- | 95 | Mauro Jaskelioff, Neil Ghani, Graham Hutton. Modularity and Implementation of Mathematical Operational Semantics |
| 97 | -- | 117 | Sam Lindley, Philip Wadler, Jeremy Yallop. Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous |
| 119 | -- | 134 | Benoît Razet. Simulating Finite Eilenberg Machines with a Reactive Engine |
| 135 | -- | 157 | Tarmo Uustalu, Varmo Vene. The Recursion Scheme from the Cofree Recursive Comonad |