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
Article: icfpws22haskellforeword-fm000-p doi:
Welcome from the Chair
Article: icfpws22haskellforeword-fm001-p doi:

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 Article: icfpws22haskellmain-p76-p doi:10.1145/3546189.3549922
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 Article: icfpws22haskellmain-p40-p doi:10.1145/3546189.3549919
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 Artifacts Available Article: icfpws22haskellmain-p57-p doi:10.1145/3546189.3549921
A Totally Predictable Outcome: An Investigation of Traversals of Infinite Structures
Gershom Bazerman
(Arista Networks, USA)
Publisher's Version Article: icfpws22haskellmain-p11-p doi:10.1145/3546189.3549915
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 Article: icfpws22haskellmain-p89-p doi:10.1145/3546189.3549924
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 Article: icfpws22haskellmain-p17-p doi:10.1145/3546189.3549916
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 Article: icfpws22haskellmain-p34-p doi:10.1145/3546189.3549918
Partial Type Constructors in Practice
Apoorv Ingle, Alex Hubers, and J. Garrett Morris
(University of Iowa, USA)
Publisher's Version Published Artifact Artifacts Available Article: icfpws22haskellmain-p81-p doi:10.1145/3546189.3549923
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 Article: icfpws22haskellmain-p50-p doi:10.1145/3546189.3549920
Embedded Pattern Matching
Trevor L. McDonell, Joshua D. Meredith, and Gabriele Keller
(Utrecht University, Netherlands; IOG, Australia)
Publisher's Version Published Artifact Artifacts Available Article: icfpws22haskellmain-p33-p doi:10.1145/3546189.3549917

proc time: 0.03