Search results for "Haskell"

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

Publications at "Haskell"( http://dblp.L3S.de/Venues/Haskell )