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
2007Comprehensive comprehensions.Simon L. Peyton Jones, Philip Wadler
2007A type-preserving closure conversion in haskell.Louis-Julien Guillemette, Stefan Monnier
2007Harpy: run-time code generation in haskell.Martin Grabmller, Dirk Kleeblatt
2007Demo outline: switched-on yampa.George Giorgidze, Henrik Nilsson
2007Haskell program coverage.Andy Gill, Colin Runciman
2007A shortcut fusion rule for circular program calculation.Joo Paulo Fernandes, Alberto Pardo, Joo Saraiva
2006Extended static checking for haskell.Dana N. Xu
2006RepLib: a library for derivable type classes.Stephanie Weirich
2006User-level transactional programming in Haskell.Peter Thiemann
2006Strong types for relational databases.Alexandra Silva, Joost Visser
2006A generic recursion toolbox for Haskell or: scrap your boilerplate systematically.Deling Ren, Martin Erwig
2006An extensible dynamically-typed hierarchy of exceptions.Simon Marlow
2006GenI: natural language generation in Haskell.Eric Kow
2006Polymorphic variants in Haskell.Koji Kagawa
2006Haskell' status report.Isaac Jones
2006Interactive debugging with GHCi.David Himmelstrup
2006Introducing the Haskell equational reasoning assistant.Andy Gill
2006Statically typed linear algebra in Haskell.Frederik Eaton
2006Strongly typed memory areas programming systems-level data structures in a functional language.Iavor S. Diatchki, Mark P. Jones
2006Running the manual: an approach to high-assurance microkernel development.Philip Derrin, Kevin Elphinstone, Gerwin Klein, David A. Cock, Manuel M. T. Chakravarty
2005Dynamic applications from the ground up.Don Stewart, Manuel M. T. Chakravarty
2005Putting curry-howard to work.Tim Sheard
2005Haskell ready to dazzle the real world.Martijn M. Schrage, Arjan van IJzendoorn, Linda C. van der Gaag
2005Darcs: distributed version management in haskell.David Roundy
2005TypeCase: a design pattern for type-indexed functions.Bruno C. d. S. Oliveira, Jeremy Gibbons
251275 of 315← PreviousNext →

Comparable venues

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