Search results for "Haskell"

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