Abstract is missing.
- Breadth-First Traversal via StagingJeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, Nicolas Wu. 1-33 [doi]
- Subtyping Without ReductionBrandon Hewer, Graham Hutton. 34-61 [doi]
- Calculating DatastructuresRalf Hinze, Wouter Swierstra. 62-101 [doi]
- Flexibly Graded Monads and Graded AlgebrasDylan McDermott, Tarmo Uustalu. 102-128 [doi]
- Folding over Neural NetworksMinh Nguyen, Nicolas Wu. 129-150 [doi]
- Towards a Practical Library for Monadic Equational Reasoning in CoqAyumu Saito, Reynald Affeldt. 151-177 [doi]
- Semantic Preservation for a Type Directed Translation Scheme of Featherweight GoMartin Sulzmann, Stefan Wehr. 178-197 [doi]
- Streams of Approximations, Equivalence of Recursive Effectful ProgramsNiccolò Veltri, Niels F. W. Voorneveld. 198-221 [doi]
- Fantastic Morphisms and Where to Find Them - A Guide to Recursion SchemesZhixuan Yang, Nicolas Wu. 222-267 [doi]