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
Article: icfpws24haskellforeword-fm000-p doi:
Welcome from the Chairs
Article: icfpws24haskellforeword-fm001-p doi:
Haskell 2024 Organization
Article: icfpws24haskellforeword-fm002-p doi:

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 Article: icfpws24haskellmain-p3-p doi:10.1145/3677999.3678274
Higher Order Patterns for Rewrite Rules
Jaro Reinders
(Delft University of Technology, Netherlands)
Publisher's Version Article: icfpws24haskellmain-p12-p doi:10.1145/3677999.3678275
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 Article: icfpws24haskellmain-p29-p doi:10.1145/3677999.3678276
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 Article: icfpws24haskellmain-p31-p doi:10.1145/3677999.3678277
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 Article: icfpws24haskellmain-p45-p doi:10.1145/3677999.3678278
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 Article: icfpws24haskellmain-p68-p doi:10.1145/3677999.3678279
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 Article: icfpws24haskellmain-p88-p doi:10.1145/3677999.3678281
Liquid Amortization: Proving Amortized Complexity with LiquidHaskell (Functional Pearl)
Jan van Brügge
(Heriot-Watt University, United Kingdom)
Publisher's Version Article: icfpws24haskellmain-p94-p doi:10.1145/3677999.3678282
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 Article: icfpws24haskellmain-p96-p doi:10.1145/3677999.3678283

Talk Proposal

MicroHs: A Small Compiler for Haskell
Lennart Augustsson
(Unaffiliated, Sweden)
Publisher's Version Article: icfpws24haskellmain-p84-p doi:10.1145/3677999.3678280

proc time: 0.02