Skip to content

Haskell Workshop

HASKELL

C

CORE rank

CORE rank (raw)

C

Fields of research

Software Engineering

Papers indexed

315

2002–2025

Papers per year

200220 peak2025

HASKELL papers

315 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2025Total Type Classes.Robert Weingart, Nicolas Wu
2025Freer Arrows and Why You Need Them in Haskell.Grant VanDomelen, Gan Shen, Lindsey Kuper, Yao Li
2025Rebound: Efficient, Expressive, and Well-Scoped Binding.No De Santo, Stephanie Weirich
2025Lightweight Testing of Persistent Amortized Time Complexity in the Credit Monad.Anton Lorenzen
2025Plinth: A Plugin-Powered Language Built on Haskell (Experience Report).Ziyang Liu, Kenneth MacKenzie, Roman Kireev, Michael Peyton Jones, Philip Wadler, Manuel M. T. Chakravarty
2025Staging Automatic Differentiation with Fusion.Samuel Klumpers, Tom Schrijvers
2025Join Points in Practice (Keynote).Simon Peyton Jones
2025The Calculated Typer (Functional Pearl).Zac Garby, Patrick Bahr, Graham Hutton
2025A Clash Course in Solving Sudoku (Functional Pearl).Gergo rdi
2025A Tale of Two Lambdas: A Haskeller's Journey into OCaml (Keynote).Richard A. Eisenberg
2025Automatic C Bindings Generation for Haskell.Travis Cardwell, Sam Derbyshire, Edsko de Vries, Dominik Schrempf
2024Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus.Pedro B. Vasconcelos, Rodrigo Marques
2024Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers.Momoka Saito, Hideya Iwasaki, Hideyuki Kawabata, Tsuneyasu Komiya
2024Higher Order Patterns for Rewrite Rules.Jaro S. Reinders
2024Cloaca: A Concurrent Hardware Garbage Collector for Non-strict Functional Languages.Craig R. Ramsay, Robert J. Stewart
2024Welcome to the Parti(tioning) (Functional Pearl): Using Rewrite Rules and Specialisation to Partition Haskell Programs.Robert Krook, Samuel Hammersberg
2024Functional Reactive Programming, Rearranged.Finnbar Keating, Michael B. Gale
2024Calculating Compilers Effectively (Functional Pearl).Zac Garby, Graham Hutton, Patrick Bahr
2024Making a Curry Interpreter using Effects and Handlers.Niels Bunkenburg, Nicolas Wu
2024Liquid Amortization: Proving Amortized Complexity with LiquidHaskell (Functional Pearl).Jan van Brgge
2024MicroHs: A Small Compiler for Haskell.Lennart Augustsson
2023Haskell for Choice-Based Learning (Keynote).Ningning Xie
2023The Evolution of Effects (Keynote).Nicolas Wu
2023falsify: Internal Shrinking Reimagined for Haskell.Edsko de Vries
2023HasTEE: Programming Trusted Execution Environments with Haskell.Abhiroop Sarkar, Robert Krook, Alejandro Russo, Koen Claessen

Comparable venues

Other A*/A conferences filed under the same field of research.