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
2005Halfs: a haskell filesystem.Isaac Jones
2005Haskell on a shared-memory multiprocessor.Tim Harris, Simon Marlow, Simon L. Peyton Jones
2005Haskell server pages through dynamic loading.Niklas Broberg
2005Polymorphic string matching.Richard S. Bird
2005Visual haskell: a full-featured haskell development environment.Krasimir Angelov, Simon Marlow
2005There and back again: arrows for invertible programming.Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko C. J. D. van Eekelen, Rinus Plasmeijer
2005Verifying haskell programs using constructive type theory.Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell
2004Improving type error diagnosis.Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
2004Plugging Haskell in.Andr T. H. Pang, Don Stewart, Sean Seefried, Manuel M. T. Chakravarty
2004Haskell type browser.Matthias Neubauer, Peter Thiemann
2004Functional pearl: i am not a number-i am a free variable.Conor McBride, James McKinna
2004Extending the Haskell foreign function interface with concurrency.Simon Marlow, Simon L. Peyton Jones, Wolfgang Thaller
2004wxHaskell: a portable and concise GUI library for haskell.Daan Leijen
2004Functional pearl: implicit configurations-or, type classes reflect the values of types.Oleg Kiselyov, Chung-chieh Shan
2004Strongly typed heterogeneous collections.Oleg Kiselyov, Ralf Lmmel, Keean Schupke
2004BNF converter.Markus Forsberg, Aarne Ranta
2004Programming graphics processors functionally.Conal Elliott
2004Student paper: HaskellDB improved.Bjrn Bringert, Anders Hckersten, Conny Andersson, Martin Andersson, Mary Bergman, Victor Blomqvist, Torbjrn Martin
2004Type-safe, self inspecting code.Arthur I. Baars, S. Doaitse Swierstra
2003Simulating quantified class constraints.Valery Trifonov
2003XML templates and caching in WASH.Peter Thiemann
2003Interactive type debugging in Haskell.Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
2003Modeling quantum computing in Haskell.Amr Sabry
2003Tool support for refactoring functional programs.Huiqing Li, Claus Reinke, Simon J. Thompson
2003Structure and interpretation of quantum mechanics: a functional framework.Jerzy Karczmarczuk
276300 of 315← PreviousNext →

Comparable venues

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