Haskell 2024

10 papers

1. Calculating Compilers Effectively (Functional Pearl) · Zac Garby, Graham Hutton, Patrick Bahr
2. Cloaca: A Concurrent Hardware Garbage Collector for Non-strict Functional Languages · Craig R. Ramsay, Robert J. Stewart
3. Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers · Momoka Saito, Hideya Iwasaki, Hideyuki Kawabata, Tsuneyasu Komiya
4. Functional Reactive Programming, Rearranged · Finnbar Keating, Michael B. Gale
5. Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus · Pedro B. Vasconcelos, Rodrigo Marques
6. Higher Order Patterns for Rewrite Rules · Jaro S. Reinders
7. Liquid Amortization: Proving Amortized Complexity with LiquidHaskell (Functional Pearl) · Jan van Brügge
8. Making a Curry Interpreter using Effects and Handlers · Niels Bunkenburg, Nicolas Wu
9. MicroHs: A Small Compiler for Haskell · Lennart Augustsson
10. Welcome to the Parti(tioning) (Functional Pearl): Using Rewrite Rules and Specialisation to Partition Haskell Programs · Robert Krook, Samuel Hammersberg