Powered by
15th ACM SIGPLAN International Haskell Symposium (Haskell 2022), September 15–16, 2022,
Ljubljana, Slovenia
15th ACM SIGPLAN International Haskell Symposium (Haskell 2022)
Frontmatter
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)
@InProceedings{Haskell22p1,
author = {Lykourgos Mastorou and Nikolaos Papaspyrou and Niki Vazou},
title = {Coinduction Inductively: Mechanizing Coinductive Proofs in Liquid Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3546189.3549922},
year = {2022},
}
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)
@InProceedings{Haskell22p16,
author = {Niki Vazou and Michael Greenberg},
title = {How to Safely Use Extensionality in Liquid Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3546189.3549919},
year = {2022},
}
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)
@InProceedings{Haskell22p31,
author = {Henry Blanchette and Niki Vazou and Leonidas Lampropoulos},
title = {Liquid Proof Macros},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3546189.3549921},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
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)
@InProceedings{Haskell22p61,
author = {Jonathas Augusto de Oliveira Conceição and André Rauber Du Bois and Samuel da Silva Feitosa and Gerson Geraldo Homrich Cavalheiro and Rodrigo Geraldo Ribeiro},
title = {Open Transactional Actions: Interacting with Non-transactional Resources in STM Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3546189.3549924},
year = {2022},
}
Publisher's Version
Oregano: Staging Regular Expressions with Moore Cayley Fusion
Jamie Willis,
Nicolas Wu, and
Tom Schrijvers
(Imperial College London, UK; KU Leuven, Belgium)
@InProceedings{Haskell22p76,
author = {Jamie Willis and Nicolas Wu and Tom Schrijvers},
title = {Oregano: Staging Regular Expressions with Moore Cayley Fusion},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {76-75},
doi = {10.1145/3546189.3549916},
year = {2022},
}
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)
@InProceedings{Haskell22p91,
author = {Celeste Hollenbeck and Michael F. P. O'Boyle and Michel Steuwer},
title = {Investigating Magic Numbers: Improving the Inlining Heuristic in the Glasgow Haskell Compiler},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3546189.3549918},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Partial Type Constructors in Practice
Apoorv Ingle,
Alex Hubers, and
J. Garrett Morris
(University of Iowa, USA)
@InProceedings{Haskell22p106,
author = {Apoorv Ingle and Alex Hubers and J. Garrett Morris},
title = {Partial Type Constructors in Practice},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {106-105},
doi = {10.1145/3546189.3549923},
year = {2022},
}
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)
@InProceedings{Haskell22p121,
author = {Jesper Cockx and Orestis Melkonian and Lucas Escot and James Chapman and Ulf Norell},
title = {Reasonable Agda Is Correct Haskell: Writing Verified Haskell using agda2hs},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {121-120},
doi = {10.1145/3546189.3549920},
year = {2022},
}
Publisher's Version
Embedded Pattern Matching
Trevor L. McDonell,
Joshua D. Meredith, and
Gabriele Keller
(Utrecht University, Netherlands; IOG, Australia)
@InProceedings{Haskell22p136,
author = {Trevor L. McDonell and Joshua D. Meredith and Gabriele Keller},
title = {Embedded Pattern Matching},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {136-135},
doi = {10.1145/3546189.3549917},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
proc time: 0.66