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
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: 2.5