ICFP Workshops 2022
27th ACM SIGPLAN International Conference on Functional Programming (ICFP 2022)

Title Page

Welcome from the Chair

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