ICFP Workshops 2024
29th ACM SIGPLAN International Conference on Functional Programming (ICFP 2024)
Powered by
Conference Publishing Consulting

17th ACM SIGPLAN International Haskell Symposium (Haskell 2024), September 6–7, 2024, Milan, Italy

Haskell 2024 – Proceedings

Contents - Abstracts - Authors

17th ACM SIGPLAN International Haskell Symposium (Haskell 2024)

Frontmatter

Title Page
Welcome from the Chairs
Haskell 2024 Organization

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