Abstract is missing.
- Describing microservices using modern Haskell (experience report)Alejandro Serrano 0001, Flavio Corpa. 1-8 [doi]
- Eliminating bugs with dependent Haskell (experience report)Noam Zilberstein. 9-16 [doi]
- A graded Monad for deadlock-free concurrency (functional pearl)Andrej Ivaskovic, Alan Mycroft. 17-30 [doi]
- Finger trees explained anew, and slightly simplified (functional pearl)Koen Claessen. 31-38 [doi]
- Stitch: the sound type-indexed type checker (functional pearl)Richard A. Eisenberg. 39-53 [doi]
- Type your matrices for great good: a Haskell library of typed matrices and applications (functional pearl)Armando Santos, José N. Oliveira. 54-66 [doi]
- Assessing the quality of evolving Haskell systems by measuring structural inequalitySander Kamps, Bastiaan Heeren, Johan Jeuring. 67-79 [doi]
- Composing effects into tasks and workflowsYves Parès, Jean-Philippe Bernardy, Richard A. Eisenberg. 80-94 [doi]
- Effect handlers in Haskell, evidentlyNingning Xie, Daan Leijen. 95-108 [doi]
- Scripted signal functionsDavid A. Stuart. 109-121 [doi]
- Staged sums of productsMatthew Pickering, Andres Löh, Nicolas Wu. 122-135 [doi]
- Towards secure IoT programming in HaskellNachiappan Valliappan, Robert Krook, Alejandro Russo, Koen Claessen. 136-150 [doi]