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