Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Niki Vazou, Eric L. Seidel, Ranjit Jhala |
LiquidHaskell: experience with refinement types in the real world. |
Haskell |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michael D. Adams 0001, Ömer S. Agacan |
Indentation-sensitive parsing for Parsec. |
Haskell |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lee Pike |
SmartCheck: automatic and efficient counterexample reduction and generalization. |
Haskell |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Manuel M. T. Chakravarty |
Foreign inline code: systems demonstration. |
Haskell |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Atze van der Ploeg, Oleg Kiselyov |
Reflection without remorse: revealing a hidden sequence to speed up monadic reflection. |
Haskell |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kiwamu Okabe, Takayuki Muranushi |
Systems demonstration: writing NetBSD sound drivers in Haskell. |
Haskell |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Anton Ekblad, Koen Claessen |
A seamless, client-centric programming model for type safe web applications. |
Haskell |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Maier 0001, Robert J. Stewart 0001, Phil Trinder |
The HdpH DSLs for scalable reliable computation. |
Haskell |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Richard A. Eisenberg, Jan Stolarek |
Promoting functions to type families in Haskell. |
Haskell |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Peter Moritz Wortmann, David J. Duke |
Causality of optimized Haskell: what is burning our cycles? |
Haskell |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Voellmy, Junchang Wang, Paul Hudak, Kazuhiko Yamamoto |
Mio: a high-performance multicore io manager for GHC. |
Haskell |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hai Liu 0012, Neal Glew, Leaf Petersen, Todd A. Anderson 0001 |
The Intel labs Haskell research compiler. |
Haskell |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Koen Claessen, Michal H. Palka |
Splittable pseudorandom number generators using cryptographic hashing. |
Haskell |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Joe Leslie-Hurd |
Maintaining verified software. |
Haskell |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Chung-chieh Shan (eds.) |
Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, Boston, MA, USA, September 23-24, 2013 |
Haskell |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Johan Ankner, Josef Svenningsson |
An EDSL approach to high performance Haskell programming. |
Haskell |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Kiselyov, Amr Sabry, Cameron Swords |
Extensible effects: an alternative to monad transformers. |
Haskell |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Richard S. Bird, Jeremy Gibbons, Stefan Mehner, Janis Voigtländer, Tom Schrijvers |
Understanding idiomatic traversals backwards and forwards. |
Haskell |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Atze van der Ploeg |
Monadic functional reactive programming. |
Haskell |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Philippe Bernardy, Nicolas Pouillard |
Names for free: polymorphic views of names and binders. |
Haskell |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sam Lindley, Conor McBride |
Hasochism: the pleasure and pain of dependently typed haskell programming. |
Haskell |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mario BlaEevic |
Adding structure to monoids: thus hopefully ending Haskell's string type confusion. |
Haskell |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Amos Robinson |
Data flow fusion with series expressions in Haskell. |
Haskell |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Michael D. Adams 0001, Thomas DuBuisson |
Template your boilerplate: using template haskell for efficient generic programming. |
Haskell |
2012 |
DBLP DOI BibTeX RDF |
|
1 | David Terei, Simon Marlow, Simon L. Peyton Jones, David Mazières |
Safe haskell. |
Haskell |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Koen Claessen |
Shrinking and showing functions: (functional pearl). |
Haskell |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Winograd-Cort, Paul Hudak |
Wormholes: introducing effects to FRP. |
Haskell |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Richard A. Eisenberg, Stephanie Weirich |
Dependently typed programming with singletons. |
Haskell |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Erdweg, Felix Rieger, Tillmann Rendel, Klaus Ostermann |
Layout-sensitive language extensibility with SugarHaskell. |
Haskell |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Wouter Swierstra |
xmonad in Coq (experience report): programming a window manager in a proof assistant. |
Haskell |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Wyatt Allen, Martin Erwig |
Surveyor: a DSEL for representing and analyzing strongly typed surveys. |
Haskell |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Ben Lippmeier, Simon L. Peyton Jones |
Vectorisation avoidance. |
Haskell |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Farmer, Andy Gill, Ed Komp, Neil Sculthorpe |
The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs. |
Haskell |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Janis Voigtländer (eds.) |
Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012 |
Haskell |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Duregård, Patrik Jansson, Meng Wang 0002 |
Feat: functional enumeration of algebraic types. |
Haskell |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Johan Jeuring, Patrik Jansson, Cláudio Amaral |
Testing type class laws. |
Haskell |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Brent A. Yorgey |
Monoids: theme and variations (functional pearl). |
Haskell |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones |
Guiding parallel array fusion with indexed types. |
Haskell |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Koen Claessen (eds.) |
Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, Haskell 2011, Tokyo, Japan, 22 September 2011 |
Haskell |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Duregård, Patrik Jansson |
Embedded parser generators. |
Haskell |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jeff Epstein, Andrew P. Black, Simon L. Peyton Jones |
Towards Haskell in the cloud. |
Haskell |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ben Lippmeier, Gabriele Keller |
Efficient parallel stencil convolution in Haskell. |
Haskell |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Harper |
A library writer's guide to shortcut fusion. |
Haskell |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Maximilian C. Bolingbroke, Simon L. Peyton Jones, Dimitrios Vytiniotis |
Termination combinators forever. |
Haskell |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Simon Marlow, Ryan Newton, Simon L. Peyton Jones |
A monad for deterministic parallelism. |
Haskell |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tomas Petricek 0001, Alan Mycroft, Don Syme |
Extending monads with pattern matching. |
Haskell |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Edwin M. Westbrook, Nicolas Frisby, Paul Brauner |
Hobbits for Haskell: a library for higher-order encodings in functional programming languages. |
Haskell |
2011 |
DBLP DOI BibTeX RDF |
|
1 | George Giorgidze, Torsten Grust, Nils Schweinsberg, Jeroen Weijers |
Bringing back monad comprehensions. |
Haskell |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Daan Leijen, Manuel Fähndrich, Sebastian Burckhardt |
Prettier concurrency: purely functional concurrent revisions. |
Haskell |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières |
Flexible dynamic information flow control in Haskell. |
Haskell |
2011 |
DBLP DOI BibTeX RDF |
|
1 | John H. G. van Groningen, Thomas van Noort, Peter Achten, Pieter W. M. Koopman, Rinus Plasmeijer |
Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler. |
Haskell |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Brent A. Yorgey |
Species and functors and types, oh my! |
Haskell |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Norman Ramsey, João Dias, Simon L. Peyton Jones |
Hoopl: a modular, reusable library for dataflow analysis and transformation. |
Haskell |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Simon Marlow, Patrick Maier 0001, Hans-Wolfgang Loidl, Mustafa Aswad, Philip W. Trinder |
Seq no more: better strategies for parallel Haskell. |
Haskell |
2010 |
DBLP DOI BibTeX RDF |
|
1 | John Launchbury, Trevor Elliott |
Concurrent orchestration in Haskell. |
Haskell |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Piróg, Dariusz Biernacki |
A systematic derivation of the STG machine verified in Coq. |
Haskell |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Milan Straka |
The performance of the Haskell containers package. |
Haskell |
2010 |
DBLP DOI BibTeX RDF |
|
1 | José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh |
A generic deriving mechanism for Haskell. |
Haskell |
2010 |
DBLP DOI BibTeX RDF |
|
1 | J. Garrett Morris |
Experience report: using hackage to inform language design. |
Haskell |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey Mainland, Greg Morrisett |
Nikola: embedding compiled GPU functions in Haskell. |
Haskell |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Maximilian C. Bolingbroke, Simon L. Peyton Jones |
Supercompilation by evaluation. |
Haskell |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tillmann Rendel, Klaus Ostermann |
Invertible syntax descriptions: unifying parsing and pretty printing. |
Haskell |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Bryan O'Sullivan, Johan Tibell |
Scalable i/o event handling for GHC. |
Haskell |
2010 |
DBLP DOI BibTeX RDF |
|
1 | David A. Terei, Manuel M. T. Chakravarty |
An llVM backend for GHC. |
Haskell |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy Gibbons (eds.) |
Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, Haskell 2010, Baltimore, MD, USA, 30 September 2010 |
Haskell |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Philippe Bernardy |
Lazy functional incremental parsing. |
Haskell |
2009 |
DBLP DOI BibTeX RDF |
polish representation, dynamic programming, haskell, parsing, lazy evaluation, incremental computing, editor |
1 | Stephanie Weirich |
Haskell Symposium Program Chair's Report. |
Haskell |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Christiaan Baaij, Matthijs Kooijman, Jan Kuper, Marco Gerards, Bert Molenkamp |
Tool DemonstrationCLasHFrom Haskell to Hardware. |
Haskell |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Lee Pike, Geoffrey M. Brown, Alwyn Goodloe |
Roll your own test bed for embedded real-time protocols: a haskell experience. |
Haskell |
2009 |
DBLP DOI BibTeX RDF |
physical-layer protocol testing, functional programming, emulation |
1 | Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra |
The architecture of the Utrecht Haskell compiler. |
Haskell |
2009 |
DBLP DOI BibTeX RDF |
compiler architecture, haskell, attribute grammar, aspect orientation |
1 | Andy Gill |
Type-safe observable sharing in Haskell. |
Haskell |
2009 |
DBLP DOI BibTeX RDF |
DSL compilation, observable sharing |
1 | Johannes Borgström, Karthikeyan Bhargavan, Andrew D. Gordon 0001 |
A compositional theory for STM Haskell. |
Haskell |
2009 |
DBLP DOI BibTeX RDF |
transactional memory, compositional reasoning, ambient calculus |
1 | Robert Atkey, Sam Lindley, Jeremy Yallop |
Unembedding domain-specific languages. |
Haskell |
2009 |
DBLP DOI BibTeX RDF |
unembedding, domain-specific languages, higher-order abstract syntax, type classes |
1 | Conal M. Elliott |
Push-pull functional reactive programming. |
Haskell |
2009 |
DBLP DOI BibTeX RDF |
semantics, concurrency, data-driven, functional reactive programming, demand-driven |
1 | Neil Mitchell, Colin Runciman |
Losing functions without gaining data: another look at defunctionalisation. |
Haskell |
2009 |
DBLP DOI BibTeX RDF |
defunctionalisation, firstification, haskell |
1 | Maximilian C. Bolingbroke, Simon L. Peyton Jones |
Types are calling conventions. |
Haskell |
2009 |
DBLP DOI BibTeX RDF |
arity, calling conventions, strictness, unboxing, uncurrying, intermediate language |
1 | Don Jones Jr., Simon Marlow, Satnam Singh |
Parallel performance tuning for Haskell. |
Haskell |
2009 |
DBLP DOI BibTeX RDF |
parallel profiling, functional programming |
1 | Tristan Oliver Richard Allwood, Simon L. Peyton Jones, Susan Eisenbach |
Finding the needle: stack traces for GHC. |
Haskell |
2009 |
DBLP DOI BibTeX RDF |
stack trace, debugging |
1 | Stephanie Weirich (eds.) |
Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009 |
Haskell |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Neil C. C. Brown, Adam T. Sampson |
Alloy: fast generic transformations for Haskell. |
Haskell |
2009 |
DBLP DOI BibTeX RDF |
haskell, generic programming, alloy |
1 | Tristan Oliver Richard Allwood, Susan Eisenbach |
Clase: cursor library for a structured editor. |
Haskell |
2008 |
DBLP DOI BibTeX RDF |
traversal, cursor, zipper |
1 | Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira |
Comparing libraries for generic programming in haskell. |
Haskell |
2008 |
DBLP DOI BibTeX RDF |
libraries comparison, datatype-generic programming |
1 | Jean-Philippe Bernardy |
Yi: an editor in haskell for haskell. |
Haskell |
2008 |
DBLP DOI BibTeX RDF |
functional programming, haskell, editor |
1 | Marcos Viera, S. Doaitse Swierstra, Eelco Lempsink |
Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime. |
Haskell |
2008 |
DBLP DOI BibTeX RDF |
left-corner transform, typed abstract syntax, typed transformations, type systems, haskell, meta programming, gadt, parser combinators |
1 | Pericles S. Kariotis, Adam M. Procter, William L. Harrison |
Making monads first-class with template haskell. |
Haskell |
2008 |
DBLP DOI BibTeX RDF |
staged programming, domain-specific languages, monads |
1 | Mark P. Jones, Iavor S. Diatchki |
Language and program design for functional dependencies. |
Haskell |
2008 |
DBLP DOI BibTeX RDF |
type functions, relational databases, haskell, type inference, functional dependencies, qualified types |
1 | Neil Mitchell, Colin Runciman |
Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching. |
Haskell |
2008 |
DBLP DOI BibTeX RDF |
pattern-match errors, functional programming, haskell, preconditions, automatic verification |
1 | Colin Runciman, Matthew Naylor, Fredrik Lindblad |
Smallcheck and lazy smallcheck: automatic exhaustive testing for small values. |
Haskell |
2008 |
DBLP DOI BibTeX RDF |
lazy evaluation, type classes, exhaustive search, embedded language, property-based testing |
1 | Oleg Kiselyov, Chung-chieh Shan |
Lightweight monadic regions. |
Haskell |
2008 |
DBLP DOI BibTeX RDF |
resource management, type systems, subtyping, monads, regions, type classes, parametric polymorphism, effect systems |
1 | Alejandro Russo, Koen Claessen, John Hughes 0001 |
A library for light-weight information-flow security in haskell. |
Haskell |
2008 |
DBLP DOI BibTeX RDF |
information-flow, library, monad, declassification |
1 | Duncan Coutts, Isaac Potoczny-Jones, Don Stewart |
Haskell: batteries included. |
Haskell |
2008 |
DBLP DOI BibTeX RDF |
distribution, functional programming |
1 | Andy Gill (eds.) |
Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008 |
Haskell |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Pucella, Jesse A. Tov |
Haskell session types with (almost) no class. |
Haskell |
2008 |
DBLP DOI BibTeX RDF |
embedded type systems, phantom types, concurrency, functional programming, haskell, type classes, session types |
1 | Ki Yung Ahn, Tim Sheard |
Shared subtypes: subtyping recursive parametrized algebraic data types. |
Haskell |
2008 |
DBLP DOI BibTeX RDF |
parametrized types, sharing representation, subtype, subtyping, recursive types, gadts, datatypes, algebraic data types |
1 | Peng Li, Simon Marlow, Simon L. Peyton Jones, Andrew P. Tolmach |
Lightweight concurrency primitives for GHC. |
Haskell |
2007 |
DBLP DOI BibTeX RDF |
concurrency, transactional memory, haskell, thread |
1 | João Paulo Fernandes, Alberto Pardo, João Saraiva |
A shortcut fusion rule for circular program calculation. |
Haskell |
2007 |
DBLP DOI BibTeX RDF |
shortcut fusion, deforestation, program calculation, circular programming |
1 | Wouter Swierstra, Thorsten Altenkirch |
Beauty in the beast. |
Haskell |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Naylor, Emil Axelsson, Colin Runciman |
A functional-logic library for wired. |
Haskell |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey Mainland |
Why it's nice to be quoted: quasiquoting for haskell. |
Haskell |
2007 |
DBLP DOI BibTeX RDF |
quasiquoting, meta programming |
1 | Simon Marlow, José Iborra, Bernard J. Pope, Andy Gill |
A lightweight interactive debugger for haskell. |
Haskell |
2007 |
DBLP DOI BibTeX RDF |
debugging, lazy evaluation |