Haskell@ICFP

Keyphrases

Publications

2020

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

2019

2018