Haskell 2022

10 papers

1. A totally predictable outcome: an investigation of traversals of infinite structures · Gershom Bazerman
2. Coinduction inductively: mechanizing coinductive proofs in Liquid Haskell · Lykourgos Mastorou, Nikolaos Papaspyrou, Niki Vazou
3. Embedded pattern matching · Trevor L. McDonell, Joshua D. Meredith, Gabriele Keller
4. How to safely use extensionality in Liquid Haskell · Niki Vazou, Michael Greenberg
5. Investigating magic numbers: improving the inlining heuristic in the Glasgow Haskell Compiler · Celeste Hollenbeck, Michael F. P. O'Boyle, Michel Steuwer
6. Liquid proof macros · Henry Blanchette, Niki Vazou, Leonidas Lampropoulos
7. Open transactional actions: interacting with non-transactional resources in STM Haskell · Jonathas Augusto de Oliveira Conceição, André Rauber Du Bois, Samuel da Silva Feitosa, Gerson Geraldo Homrich Cavalheiro, Rodrigo Geraldo Ribeiro
8. Oregano: staging regular expressions with Moore Cayley fusion · Jamie Willis, Nicolas Wu, Tom Schrijvers
9. Partial type constructors in practice · Apoorv Ingle, Alex Hubers, J. Garrett Morris
10. Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs · Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, Ulf Norell