Haskell

Keyphrases

Publications

2024

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

2023

2022

2021

2017