Abstract is missing.
- Functional programming, object-oriented programming and algebras!Bruno C. D. S. Oliveira. 1 [doi]
- Generic constructors and eliminators from descriptions: type theory as a dependently typed internal DSLLarry Diehl, Tim Sheard. 3-14 [doi]
- Ornaments in practiceThomas Williams, Pierre-Évariste Dagand, Didier Rémy. 15-24 [doi]
- Type inference for the spine view of dataMatthew Roberts, Anthony M. Sloane. 25-34 [doi]
- First-class isomorphic specialization by staged evaluationAlexander Slesarenko, Alexander Filippov, Alexey Romanov. 35-46 [doi]
- Algebraic effects and effect handlers for idioms and arrowsSam Lindley. 47-58 [doi]
- Scoping rules on a platter: a framework for understanding and specifying name bindingLarisse Voufo, Marcin Zalewski, Andrew Lumsdaine. 59-70 [doi]
- Composing and decomposing data types: a closed type families implementation of data types à la cartePatrick Bahr. 71-82 [doi]
- True sums of productsEdsko de Vries, Andres Löh. 83-94 [doi]