Haskell 2020

12 papers

1. A graded Monad for deadlock-free concurrency (functional pearl) · Andrej Ivašković, Alan Mycroft
2. Assessing the quality of evolving Haskell systems by measuring structural inequality · Sander Kamps, Bastiaan Heeren, Johan Jeuring
3. Composing effects into tasks and workflows · Yves Parès, Jean-Philippe Bernardy, Richard A. Eisenberg
4. Describing microservices using modern Haskell (experience report) · Alejandro Serrano, Flavio Corpa
5. Effect handlers in Haskell, evidently · Ningning Xie, Daan Leijen
6. Eliminating bugs with dependent Haskell (experience report) · Noam Zilberstein
7. Finger trees explained anew, and slightly simplified (functional pearl) · Koen Claessen
8. Scripted signal functions · David A. Stuart
9. Staged sums of products · Matthew Pickering, Andres Löh, Nicolas Wu
10. Stitch: the sound type-indexed type checker (functional pearl) · Richard A. Eisenberg
11. Towards secure IoT programming in Haskell · Nachiappan Valliappan, Robert Krook, Alejandro Russo, Koen Claessen
12. Type your matrices for great good: a Haskell library of typed matrices and applications (functional pearl) · Armando Santos, José N. Oliveira