Haskell 2022 – Proceedings

15th ACM SIGPLAN International Haskell Symposium (Haskell 2022)

Frontmatter

Papers

Coinduction Inductively: Mechanizing Coinductive Proofs in Liquid Haskell
Lykourgos Mastorou, Nikolaos Papaspyrou, and Niki Vazou
(National Technical University of Athens, Greece; IMDEA Software Institute, Spain; Google, Germany)

Publisher's Version Published Artifact Artifacts Available

How to Safely Use Extensionality in Liquid Haskell
Niki Vazou and Michael Greenberg
(IMDEA Software Institute, Spain; Stevens Institute of Technology, USA)

Publisher's Version Published Artifact Artifacts Available

Liquid Proof Macros
Henry Blanchette, Niki Vazou, and Leonidas Lampropoulos
(University of Maryland at College Park, USA; IMDEA Software Institute, Spain)

Publisher's Version Published Artifact Info Artifacts Available

A Totally Predictable Outcome: An Investigation of Traversals of Infinite Structures
Gershom Bazerman
(Arista Networks, USA)

Publisher's Version

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, and Rodrigo Geraldo Ribeiro
(Federal University of Pelotas, Brazil; Federal University of Fronteira Sul, Brazil; Federal University of Ouro Preto, Brazil)

Publisher's Version Info

Oregano: Staging Regular Expressions with Moore Cayley Fusion
Jamie Willis, Nicolas Wu, and Tom Schrijvers
(Imperial College London, UK; KU Leuven, Belgium)

Publisher's Version Published Artifact Artifacts Available

Investigating Magic Numbers: Improving the Inlining Heuristic in the Glasgow Haskell Compiler
Celeste Hollenbeck, Michael F. P. O'Boyle, and Michel Steuwer
(University of Edinburgh, UK)

Publisher's Version Published Artifact Artifacts Available

Partial Type Constructors in Practice
Apoorv Ingle, Alex Hubers, and J. Garrett Morris
(University of Iowa, USA)

Publisher's Version Published Artifact Artifacts Available

Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs
Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, and Ulf Norell
(Delft University of Technology, Netherlands; University of Edinburgh, UK; Input Output, UK; University of Gothenburg, Sweden)

Publisher's Version

Embedded Pattern Matching
Trevor L. McDonell, Joshua D. Meredith, and Gabriele Keller
(Utrecht University, Netherlands; IOG, Australia)

Publisher's Version Published Artifact Info Artifacts Available

proc time: 1.71