ICFP Workshops 2022
27th ACM SIGPLAN International Conference on Functional Programming (ICFP 2022)
Powered by
Conference Publishing Consulting

15th ACM SIGPLAN International Haskell Symposium (Haskell 2022), September 15–16, 2022, Ljubljana, Slovenia

Haskell 2022 – Proceedings

Contents - Abstracts - Authors

15th ACM SIGPLAN International Haskell Symposium (Haskell 2022)

Frontmatter

Title Page
Welcome from the Chair

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
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
Liquid Proof Macros
Henry Blanchette, Niki Vazou, and Leonidas Lampropoulos
(University of Maryland at College Park, USA; IMDEA Software Institute, Spain)
Publisher's Version Info
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
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
Partial Type Constructors in Practice
Apoorv Ingle, Alex Hubers, and J. Garrett Morris
(University of Iowa, USA)
Publisher's Version
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 Info

proc time: 1.19