|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1041 occurrences of 477 keywords
|
|
|
Results
Found 1588 publication records. Showing 1556 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
50 | Matthías Páll Gissurarson |
Suggesting valid hole fits for typed-holes (experience report). |
Haskell@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
50 | Richard A. Eisenberg, Joachim Breitner, Simon Peyton Jones |
Type variables in patterns. |
Haskell@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
50 | Agustín Mista, Alejandro Russo, John Hughes 0001 |
Branching processes for QuickCheck generators. |
Haskell@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
50 | Guido Martínez, Mauro Jaskelioff, Guido De Luca |
Improving typeclass relations by being open. |
Haskell@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
50 | Alejandro Serrano 0001, Victor Cacciari Miraldo |
Generic programming of all kinds. |
Haskell@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
50 | Kazutaka Matsuda, Meng Wang 0002 |
Embedding invertible languages with binders: a case of the FliPpr language. |
Haskell@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
50 | Baldur Blöndal, Andres Löh, Ryan Scott |
Deriving via: or, how to turn hand-written instances into an anti-pattern. |
Haskell@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
50 | Matt Noonan |
Ghosts of departed proofs (functional pearl). |
Haskell@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
50 | Joachim Breitner |
A promise checked is a promise kept: inspection testing. |
Haskell@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
50 | Markus Aronsson, Mary Sheeran |
Hardware software co-design in Haskell. |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
50 | Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton |
Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping. |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
50 | Donya Quick |
Algorithmic music in Haskell (invited talk). |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
50 | Niki Vazou, Leonidas Lampropoulos, Jeff Polakow |
A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq. |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
50 | John Wiegley, Benjamin Delaware |
Using Coq to write fast and correct Haskell. |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
50 | Geoffrey Mainland (eds.) |
Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016 |
Haskell |
2016 |
DBLP DOI BibTeX RDF |
|
50 | Lennart Augustsson, Mårten Ågren |
Experience report: types for a relational algebra library. |
Haskell |
2016 |
DBLP DOI BibTeX RDF |
|
50 | Jan Bracker, Henrik Nilsson |
Supermonads: one notion to bind them all. |
Haskell |
2016 |
DBLP DOI BibTeX RDF |
|
50 | Matthew Pickering, Gergo Érdi, Simon Peyton Jones, Richard A. Eisenberg |
Pattern synonyms. |
Haskell |
2016 |
DBLP DOI BibTeX RDF |
|
50 | Atze van der Ploeg, Koen Claessen, Pablo Buiras |
The Key monad: type-safe unconstrained dynamic typing. |
Haskell |
2016 |
DBLP DOI BibTeX RDF |
|
50 | Gustavo Grieco, Martín Ceresa, Pablo Buiras |
QuickFuzz: an automatic random fuzzer for common file formats. |
Haskell |
2016 |
DBLP DOI BibTeX RDF |
|
50 | Jeremy Yallop, Hai Liu 0012 |
Causal commutative arrows revisited. |
Haskell |
2016 |
DBLP DOI BibTeX RDF |
|
50 | Rudy Braquehais, Colin Runciman |
FitSpec: refining property sets for functional testing. |
Haskell |
2016 |
DBLP DOI BibTeX RDF |
|
50 | Satvik Chauhan, Piyush P. Kurur, Brent A. Yorgey |
How to twist pointers without breaking them. |
Haskell |
2016 |
DBLP DOI BibTeX RDF |
|
50 | Ivan Perez 0001, Manuel Bärenz, Henrik Nilsson |
Functional reactive programming, refactored. |
Haskell |
2016 |
DBLP DOI BibTeX RDF |
|
50 | Jeremy Gibbons |
Free delivery (functional pearl). |
Haskell |
2016 |
DBLP DOI BibTeX RDF |
|
50 | Yisu Remy Wang, Diogenes Nunez, Kathleen Fisher |
Autobahn: using genetic algorithms to infer strictness annotations. |
Haskell |
2016 |
DBLP DOI BibTeX RDF |
|
50 | Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, Simon Marlow |
Non-recursive make considered harmful: build systems at scale. |
Haskell |
2016 |
DBLP DOI BibTeX RDF |
|
50 | Ben Lippmeier (eds.) |
Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015 |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
50 | Adam Scibior, Zoubin Ghahramani, Andrew D. Gordon 0001 |
Practical probabilistic programming with monads. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
50 | Alejandro Serrano 0001, Jurriaan Hage, Patrick Bahr |
Type families with class, type classes with family. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
50 | Joachim Breitner |
Formally proving a compiler transformation safe. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
50 | Trevor L. McDonell, Manuel M. T. Chakravarty, Vinod Grover, Ryan R. Newton |
Type-safe runtime code generation: accelerate to LLVM. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
50 | Andy Gill, Neil Sculthorpe, Justin Dawson, Aleksander Eskilson, Andrew Farmer, Mark Grebe, Jeffrey Rosenbluth, Ryan Scott, James Stanton |
The remote monad design pattern. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
50 | Kenneth Foner |
Functional pearl: getting a quick fix on comonads. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
50 | José Manuel Calderón Trilla, Colin Runciman |
Improving implicit parallelism. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
50 | Bruno C. d. S. Oliveira, Shin-Cheng Mu, Shu-Hung You |
Modular reifiable matching: a list-of-functors approach to two-level types. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
50 | J. Garrett Morris |
Variations on variants. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
50 | Ivan Perez 0001, Henrik Nilsson |
Bridging the GUI gap with reactive values and relations. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
50 | Trevor Elliott, Lee Pike, Simon Winwood, Patrick C. Hickey, James Bielman, Jamey Sharp, Eric L. Seidel, John Launchbury |
Guilt free ivory. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
50 | Andrew Farmer, Neil Sculthorpe, Andy Gill |
Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
50 | Oleg Kiselyov, Hiromi Ishii |
Freer monads, more extensible effects. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
50 | Dominic A. Orchard, Tomas Petricek 0001 |
Embedding effect systems in Haskell. |
Haskell |
2014 |
DBLP DOI BibTeX RDF |
|
50 | Jasmin Christian Blanchette, Lars Hupel, Tobias Nipkow, Lars Noschinski, Dmitriy Traytel |
Experience report: the next 1100 Haskell programmers. |
Haskell |
2014 |
DBLP DOI BibTeX RDF |
|
50 | Takayuki Muranushi, Richard A. Eisenberg |
Experience report: type-checking polymorphic units for astrophysics research in Haskell. |
Haskell |
2014 |
DBLP DOI BibTeX RDF |
|
50 | J. Garrett Morris |
A simple semantics for Haskell overloading. |
Haskell |
2014 |
DBLP DOI BibTeX RDF |
|
50 | Kiwamu Okabe, Takayuki Muranushi |
Systems demonstration: writing NetBSD sound drivers in Haskell. |
Haskell |
2014 |
DBLP DOI BibTeX RDF |
|
50 | Richard A. Eisenberg, Jan Stolarek |
Promoting functions to type families in Haskell. |
Haskell |
2014 |
DBLP DOI BibTeX RDF |
|
50 | Peter Moritz Wortmann, David J. Duke |
Causality of optimized Haskell: what is burning our cycles? |
Haskell |
2013 |
DBLP DOI BibTeX RDF |
|
50 | Hai Liu 0012, Neal Glew, Leaf Petersen, Todd A. Anderson 0001 |
The Intel labs Haskell research compiler. |
Haskell |
2013 |
DBLP DOI BibTeX RDF |
|
50 | Johan Ankner, Josef Svenningsson |
An EDSL approach to high performance Haskell programming. |
Haskell |
2013 |
DBLP DOI BibTeX RDF |
|
50 | Sam Lindley, Conor McBride |
Hasochism: the pleasure and pain of dependently typed haskell programming. |
Haskell |
2013 |
DBLP DOI BibTeX RDF |
|
50 | Mario BlaEevic |
Adding structure to monoids: thus hopefully ending Haskell's string type confusion. |
Haskell |
2013 |
DBLP DOI BibTeX RDF |
|
50 | Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Amos Robinson |
Data flow fusion with series expressions in Haskell. |
Haskell |
2013 |
DBLP DOI BibTeX RDF |
|
50 | 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 |
|
50 | Koen Claessen |
Shrinking and showing functions: (functional pearl). |
Haskell |
2012 |
DBLP DOI BibTeX RDF |
|
50 | Daniel Winograd-Cort, Paul Hudak |
Wormholes: introducing effects to FRP. |
Haskell |
2012 |
DBLP DOI BibTeX RDF |
|
50 | Richard A. Eisenberg, Stephanie Weirich |
Dependently typed programming with singletons. |
Haskell |
2012 |
DBLP DOI BibTeX RDF |
|
50 | Sebastian Erdweg, Felix Rieger, Tillmann Rendel, Klaus Ostermann |
Layout-sensitive language extensibility with SugarHaskell. |
Haskell |
2012 |
DBLP DOI BibTeX RDF |
|
50 | Wouter Swierstra |
xmonad in Coq (experience report): programming a window manager in a proof assistant. |
Haskell |
2012 |
DBLP DOI BibTeX RDF |
|
50 | Wyatt Allen, Martin Erwig |
Surveyor: a DSEL for representing and analyzing strongly typed surveys. |
Haskell |
2012 |
DBLP DOI BibTeX RDF |
|
50 | Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Ben Lippmeier, Simon L. Peyton Jones |
Vectorisation avoidance. |
Haskell |
2012 |
DBLP DOI BibTeX RDF |
|
50 | 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 |
|
50 | Jonas Duregård, Patrik Jansson, Meng Wang 0002 |
Feat: functional enumeration of algebraic types. |
Haskell |
2012 |
DBLP DOI BibTeX RDF |
|
50 | Johan Jeuring, Patrik Jansson, Cláudio Amaral |
Testing type class laws. |
Haskell |
2012 |
DBLP DOI BibTeX RDF |
|
50 | Brent A. Yorgey |
Monoids: theme and variations (functional pearl). |
Haskell |
2012 |
DBLP DOI BibTeX RDF |
|
50 | 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 |
|
50 | 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 |
|
50 | Jonas Duregård, Patrik Jansson |
Embedded parser generators. |
Haskell |
2011 |
DBLP DOI BibTeX RDF |
|
50 | Thomas Harper |
A library writer's guide to shortcut fusion. |
Haskell |
2011 |
DBLP DOI BibTeX RDF |
|
50 | Maximilian C. Bolingbroke, Simon L. Peyton Jones, Dimitrios Vytiniotis |
Termination combinators forever. |
Haskell |
2011 |
DBLP DOI BibTeX RDF |
|
50 | Simon Marlow, Ryan Newton, Simon L. Peyton Jones |
A monad for deterministic parallelism. |
Haskell |
2011 |
DBLP DOI BibTeX RDF |
|
50 | Tomas Petricek 0001, Alan Mycroft, Don Syme |
Extending monads with pattern matching. |
Haskell |
2011 |
DBLP DOI BibTeX RDF |
|
50 | George Giorgidze, Torsten Grust, Nils Schweinsberg, Jeroen Weijers |
Bringing back monad comprehensions. |
Haskell |
2011 |
DBLP DOI BibTeX RDF |
|
50 | Daan Leijen, Manuel Fähndrich, Sebastian Burckhardt |
Prettier concurrency: purely functional concurrent revisions. |
Haskell |
2011 |
DBLP DOI BibTeX RDF |
|
50 | 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 |
|
50 | Brent A. Yorgey |
Species and functors and types, oh my! |
Haskell |
2010 |
DBLP DOI BibTeX RDF |
|
50 | 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 |
|
50 | Maciej Piróg, Dariusz Biernacki |
A systematic derivation of the STG machine verified in Coq. |
Haskell |
2010 |
DBLP DOI BibTeX RDF |
|
50 | J. Garrett Morris |
Experience report: using hackage to inform language design. |
Haskell |
2010 |
DBLP DOI BibTeX RDF |
|
50 | Maximilian C. Bolingbroke, Simon L. Peyton Jones |
Supercompilation by evaluation. |
Haskell |
2010 |
DBLP DOI BibTeX RDF |
|
50 | Tillmann Rendel, Klaus Ostermann |
Invertible syntax descriptions: unifying parsing and pretty printing. |
Haskell |
2010 |
DBLP DOI BibTeX RDF |
|
50 | Bryan O'Sullivan, Johan Tibell |
Scalable i/o event handling for GHC. |
Haskell |
2010 |
DBLP DOI BibTeX RDF |
|
50 | David A. Terei, Manuel M. T. Chakravarty |
An llVM backend for GHC. |
Haskell |
2010 |
DBLP DOI BibTeX RDF |
|
50 | 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 |
|
50 | 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 |
50 | Conal M. Elliott |
Push-pull functional reactive programming. |
Haskell |
2009 |
DBLP DOI BibTeX RDF |
semantics, concurrency, data-driven, functional reactive programming, demand-driven |
50 | 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 |
50 | 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 |
|
50 | Tristan Oliver Richard Allwood, Susan Eisenbach |
Clase: cursor library for a structured editor. |
Haskell |
2008 |
DBLP DOI BibTeX RDF |
traversal, cursor, zipper |
50 | Gabriele Keller (eds.) |
Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2007, Freiburg, Germany, September 30, 2007 |
Haskell |
2007 |
DBLP DOI BibTeX RDF |
|
50 | 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 |
50 | Wouter Swierstra, Thorsten Altenkirch |
Beauty in the beast. |
Haskell |
2007 |
DBLP DOI BibTeX RDF |
|
50 | Simon L. Peyton Jones, Philip Wadler |
Comprehensive comprehensions. |
Haskell |
2007 |
DBLP DOI BibTeX RDF |
list comprehension, SQL, aggregate, query |
50 | Neil Mitchell, Colin Runciman |
Uniform boilerplate and list processing. |
Haskell |
2007 |
DBLP DOI BibTeX RDF |
|
50 | Andres Löh (eds.) |
Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2006, Portland, Oregon, USA, September 17, 2006 |
Haskell |
2006 |
DBLP DOI BibTeX RDF |
|
50 | Daan Leijen (eds.) |
Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2005, Tallinn, Estonia, September 30, 2005 |
Haskell |
2005 |
DBLP DOI BibTeX RDF |
|
50 | Richard S. Bird |
Polymorphic string matching. |
Haskell |
2005 |
DBLP DOI BibTeX RDF |
boyer-moore, knuth-morris-pratt, functional programming, string matching, program calculation |
50 | Henrik Nilsson (eds.) |
Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2004, Snowbird, UT, USA, September 22-22, 2004 |
Haskell |
2004 |
DBLP DOI BibTeX RDF |
|
50 | Conal Elliott |
Programming graphics processors functionally. |
Haskell |
2004 |
DBLP DOI BibTeX RDF |
|
50 | Arthur I. Baars, S. Doaitse Swierstra |
Type-safe, self inspecting code. |
Haskell |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 1556 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|