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 – Preliminary Table of Contents

Contents - Abstracts - Authors

15th ACM SIGPLAN International Haskell Symposium (Haskell 2022)


Title Page
Welcome from the Chair


A Totally Predictable Outcome: An Investigation of Traversals of Infinite Structures
Gershom Bazerman ORCID logo
(Arista Networks, USA)
Oregano: Staging Regular Expressions with Moore Cayley Fusion
Jamie Willis ORCID logo, Nicolas WuORCID logo, and Tom SchrijversORCID logo
(Imperial College London, UK; KU Leuven, Belgium)
Article Search Archive submitted (20 kB) Artifacts Available
Embedded Pattern Matching
Trevor L. McDonell ORCID logo, Joshua D. Meredith ORCID logo, and Gabriele Keller ORCID logo
(Utrecht University, Netherlands; IOHK, Australia)
Article Search Info Artifacts Available
Investigating Magic Numbers: Improving the Inlining Heuristic in the Glasgow Haskell Compiler
Celeste Hollenbeck ORCID logo, Michael F. P. O'Boyle ORCID logo, and Michel SteuwerORCID logo
(University of Edinburgh, UK)
Article Search Artifacts Available
How to Safely Use Extensionality in Liquid Haskell
Niki VazouORCID logo and Michael Greenberg ORCID logo
(IMDEA Software Institute, Spain; Stevens Institute of Technology, USA)
Article Search
Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs
Jesper Cockx ORCID logo, Orestis Melkonian ORCID logo, Lucas Escot ORCID logo, James Chapman ORCID logo, and Ulf Norell ORCID logo
(Delft University of Technology, Netherlands, Netherlands; University of Edinburgh, UK; IOG, UK; University of Gothenburg, Sweden)
Article Search
Liquid Proof Macros
Henry Blanchette ORCID logo, Niki VazouORCID logo, and Leonidas LampropoulosORCID logo
(University of Maryland at College Park, USA; IMDEA Software Institute, Spain)
Article Search Info Artifacts Available
Coinduction Inductively: Mechanizing Coinductive Proofs in Liquid Haskell
Lykourgos Mastorou ORCID logo, Nikolaos Papaspyrou ORCID logo, and Niki VazouORCID logo
(National Technical University of Athens, Greece; IMDEA Software Institute, Spain; Google, Germany)
Article Search Artifacts Available
Partial Type Constructors in Practice
Apoorv Ingle ORCID logo, Alex Hubers ORCID logo, and J. Garrett Morris ORCID logo
(University of Iowa, USA)
Article Search Artifacts Available
Open Transactional Actions: Interacting with Non-transactional Resources in STM Haskell
Jonathas Augusto de Oliveira Conceição ORCID logo, André Rauber Du Bois ORCID logo, Samuel da Silva Feitosa ORCID logo, Gerson Geraldo Homrich Cavalheiro ORCID logo, and Rodrigo Geraldo Ribeiro ORCID logo
(Federal University of Pelotas, Brazil; Federal University of Fronteira Sul, Brazil; ; Federal University of Pelotas, Brazil Federal University of Ouro Preto, Brazil)
Article Search Info

proc time: 4.49