Abstract is missing.
- Authenticated modular maps in HaskellVictor Cacciari Miraldo, Harold Carr, Alex Kogan, Mark Moir, Maurice Herlihy. 1-13 [doi]
- Typing, representing, and abstracting control: functional pearlPhilipp Schuster, Jonathan Immanuel Brachthäuser. 14-24 [doi]
- Implementing resource-aware safe assembly for kernel probes as a dependently-typed DSLIlya Yanok, Nathaniel Nystrom. 25-37 [doi]
- Extensible type-directed editingJoomy Korkut, David Thrane Christiansen. 38-50 [doi]
- First class dynamic effect handlers: or, polymorphic heaps with dynamic effect handlersDaan Leijen. 51-64 [doi]
- Sums of products for mutually recursive datatypes: the appropriationist's view on generic programmingVictor Cacciari Miraldo, Alejandro Serrano. 65-77 [doi]
- From algebra to abstract machine: a verified generic constructionCarlos Tomé Cortiñas, Wouter Swierstra. 78-90 [doi]