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 |
|---|---|---|
| 2013 | Names for free: polymorphic views of names and binders. | Jean-Philippe Bernardy, Nicolas Pouillard |
| 2013 | An EDSL approach to high performance Haskell programming. | Johan Ankner, Josef Svenningsson |
| 2012 | Monoids: theme and variations | Brent A. Yorgey |
| 2012 | Wormholes: introducing effects to FRP. | Daniel Winograd-Cort, Paul Hudak |
| 2012 | Safe haskell. | David Terei, Simon Marlow, Simon L. Peyton Jones, David Mazires |
| 2012 | xmonad in Coq | Wouter Swierstra |
| 2012 | Guiding parallel array fusion with indexed types. | Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones |
| 2012 | Vectorisation avoidance. | Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Ben Lippmeier, Simon L. Peyton Jones |
| 2012 | Testing type class laws. | Johan Jeuring, Patrik Jansson, Cludio Amaral |
| 2012 | The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs. | Andrew Farmer, Andy Gill, Ed Komp, Neil Sculthorpe |
| 2012 | Layout-sensitive language extensibility with SugarHaskell. | Sebastian Erdweg, Felix Rieger, Tillmann Rendel, Klaus Ostermann |
| 2012 | Dependently typed programming with singletons. | Richard A. Eisenberg, Stephanie Weirich |
| 2012 | Feat: functional enumeration of algebraic types. | Jonas Duregrd, Patrik Jansson, Meng Wang |
| 2012 | Shrinking and showing functions: | Koen Claessen |
| 2012 | Surveyor: a DSEL for representing and analyzing strongly typed surveys. | Wyatt Allen, Martin Erwig |
| 2012 | Template your boilerplate: using template haskell for efficient generic programming. | Michael D. Adams, Thomas DuBuisson |
| 2011 | Hobbits for Haskell: a library for higher-order encodings in functional programming languages. | Edwin M. Westbrook, Nicolas Frisby, Paul Brauner |
| 2011 | Flexible dynamic information flow control in Haskell. | Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazires |
| 2011 | Extending monads with pattern matching. | Tomas Petricek, Alan Mycroft, Don Syme |
| 2011 | A monad for deterministic parallelism. | Simon Marlow, Ryan Newton, Simon L. Peyton Jones |
| 2011 | Efficient parallel stencil convolution in Haskell. | Ben Lippmeier, Gabriele Keller |
| 2011 | Prettier concurrency: purely functional concurrent revisions. | Daan Leijen, Manuel Fhndrich, Sebastian Burckhardt |
| 2011 | A library writer's guide to shortcut fusion. | Thomas Harper |
| 2011 | Bringing back monad comprehensions. | George Giorgidze, Torsten Grust, Nils Schweinsberg, Jeroen Weijers |
| 2011 | Towards Haskell in the cloud. | Jeff Epstein, Andrew P. Black, Simon L. Peyton Jones |
176–200 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