Haskell 2024 – Proceedings

17th ACM SIGPLAN International Haskell Symposium (Haskell 2024)

Frontmatter

Papers

Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
Pedro Vasconcelos and Rodrigo Marques
(University of Porto, Portugal)

Publisher's Version Published Artifact Info Artifacts Available

Higher Order Patterns for Rewrite Rules
Jaro Reinders
(Delft University of Technology, Netherlands)

Publisher's Version

Welcome to the Parti(tioning) (Functional Pearl): Using Rewrite Rules and Specialisation to Partition Haskell Programs
Robert Krook and Samuel Hammersberg
(Chalmers University of Technology - Gothenburg University, Sweden; Gothenburg University, Sweden)

Publisher's Version

Cloaca: A Concurrent Hardware Garbage Collector for Non-strict Functional Languages
Craig Ramsay and Robert Stewart
(Heriot-Watt University, United Kingdom)

Publisher's Version Published Artifact Artifacts Available

Functional Reactive Programming, Rearranged
Finnbar Keating and Michael B. Gale
(University of Warwick, United Kingdom; GitHub, United Kingdom)

Publisher's Version Published Artifact Artifacts Available

Making a Curry Interpreter using Effects and Handlers
Niels Bunkenburg and Nicolas Wu
(Kiel University, Germany; Imperial College London, United Kingdom)

Publisher's Version Info

Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers
Momoka Saito, Hideya Iwasaki, Hideyuki Kawabata, and Tsuneyasu Komiya
(University of Electro-Communications, Japan; Meiji University, Japan; Hiroshima City University, Japan)

Publisher's Version

Liquid Amortization: Proving Amortized Complexity with LiquidHaskell (Functional Pearl)
Jan van Brügge
(Heriot-Watt University, United Kingdom)

Publisher's Version

Calculating Compilers Effectively (Functional Pearl)
Zac Garby, Graham Hutton, and Patrick Bahr
(University of Nottingham, United Kingdom; IT University of Copenhagen, Denmark)

Publisher's Version Published Artifact Artifacts Available

Talk Proposal

MicroHs: A Small Compiler for Haskell
Lennart Augustsson
(Unaffiliated, Sweden)

Publisher's Version

proc time: 3.1