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
Most published authors
HASKELL papers
315 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2009 | Types are calling conventions. | Maximilian C. Bolingbroke, Simon L. Peyton Jones |
| 2009 | Lazy functional incremental parsing. | Jean-Philippe Bernardy |
| 2009 | Tool DemonstrationCLasHFrom Haskell to Hardware. | Christiaan Baaij, Matthijs Kooijman, Jan Kuper, Marco Gerards, Bert Molenkamp |
| 2009 | Unembedding domain-specific languages. | Robert Atkey, Sam Lindley, Jeremy Yallop |
| 2009 | Finding the needle: stack traces for GHC. | Tristan Oliver Richard Allwood, Simon L. Peyton Jones, Susan Eisenbach |
| 2008 | Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime. | Marcos Viera, S. Doaitse Swierstra, Eelco Lempsink |
| 2008 | A library for light-weight information-flow security in haskell. | Alejandro Russo, Koen Claessen, John Hughes |
| 2008 | Smallcheck and lazy smallcheck: automatic exhaustive testing for small values. | Colin Runciman, Matthew Naylor, Fredrik Lindblad |
| 2008 | Comparing libraries for generic programming in haskell. | Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira |
| 2008 | Haskell session types with (almost) no class. | Riccardo Pucella, Jesse A. Tov |
| 2008 | Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching. | Neil Mitchell, Colin Runciman |
| 2008 | Lightweight monadic regions. | Oleg Kiselyov, Chung-chieh Shan |
| 2008 | Making monads first-class with template haskell. | Pericles S. Kariotis, Adam M. Procter, William L. Harrison |
| 2008 | Language and program design for functional dependencies. | Mark P. Jones, Iavor S. Diatchki |
| 2008 | Haskell: batteries included. | Duncan Coutts, Isaac Potoczny-Jones, Don Stewart |
| 2008 | Yi: an editor in haskell for haskell. | Jean-Philippe Bernardy |
| 2008 | Clase: cursor library for a structured editor. | Tristan Oliver Richard Allwood, Susan Eisenbach |
| 2008 | Shared subtypes: subtyping recursive parametrized algebraic data types. | Ki Yung Ahn, Tim Sheard |
| 2007 | Beauty in the beast. | Wouter Swierstra, Thorsten Altenkirch |
| 2007 | Xmonad. | Don Stewart, Spencer Sjanssen |
| 2007 | A functional-logic library for wired. | Matthew Naylor, Emil Axelsson, Colin Runciman |
| 2007 | Uniform boilerplate and list processing. | Neil Mitchell, Colin Runciman |
| 2007 | A lightweight interactive debugger for haskell. | Simon Marlow, Jos Iborra, Bernard J. Pope, Andy Gill |
| 2007 | Why it's nice to be quoted: quasiquoting for haskell. | Geoffrey Mainland |
| 2007 | Lightweight concurrency primitives for GHC. | Peng Li, Simon Marlow, Simon L. Peyton Jones, Andrew P. Tolmach |
226–250 of 315← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*ICSEInternational Conference on Software Engineering
- AOOPSLAACM Conference on Object Oriented Programming Systems Languages and Applications
- AMODELSInternational Conference on Model Driven Engineering Languages and Systems (Previously UML, changed in 2005)
- AREIEEE International Requirements Engineering Conference
- ABPMInternational Conference in Business Process Management
- AISSREInternational Symposium on Software Reliability Engineering
- AICSTInternational Conference on Software Testing, Verification and Validation
- A*SIGMETRICSMeasurement and Modeling of Computer Systems