Search results for "Haskell"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
50	Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny	Improving type error diagnosis.	Haskell	2004	DBLP DOI BibTeX RDF
50	Björn Bringert, Anders Höckersten, Conny Andersson, Martin Andersson, Mary Bergman, Victor Blomqvist, Torbjörn Martin	Student paper: HaskellDB improved.	Haskell	2004	DBLP DOI BibTeX RDF
50	Oleg Kiselyov, Chung-chieh Shan	Functional pearl: implicit configurations-or, type classes reflect the values of types.	Haskell	2004	DBLP DOI BibTeX RDF
50	Markus Forsberg, Aarne Ranta	BNF converter.	Haskell	2004	DBLP DOI BibTeX RDF
50	Oleg Kiselyov, Ralf Lämmel, Keean Schupke	Strongly typed heterogeneous collections.	Haskell	2004	DBLP DOI BibTeX RDF
50	Conor McBride, James McKinna	Functional pearl: i am not a number-i am a free variable.	Haskell	2004	DBLP DOI BibTeX RDF
50	Johan Jeuring (eds.)	Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2003, Uppsala, Sweden, August 28, 2003	Haskell	2003	DBLP DOI BibTeX RDF
50	Robert Ennals, Simon L. Peyton Jones	HsDebug: debugging lazy programs by not being lazy.	Haskell	2003	DBLP DOI BibTeX RDF
50	Jerzy Karczmarczuk	Structure and interpretation of quantum mechanics: a functional framework.	Haskell	2003	DBLP DOI BibTeX RDF
50	Huiqing Li, Claus Reinke, Simon J. Thompson	Tool support for refactoring functional programs.	Haskell	2003	DBLP DOI BibTeX RDF
50	Richard S. Bird, Ralf Hinze	Functional Pearl trouble shared is trouble halved.	Haskell	2003	DBLP DOI BibTeX RDF
50	Antony Courtney, Henrik Nilsson, John Peterson	The Yampa arcade.	Haskell	2003	DBLP DOI BibTeX RDF
50	Peter Thiemann 0001	XML templates and caching in WASH.	Haskell	2003	DBLP DOI BibTeX RDF
50	Valery Trifonov	Simulating quantified class constraints.	Haskell	2003	DBLP DOI BibTeX RDF
50	Manuel M. T. Chakravarty (eds.)	Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, Haskell 2002, Pittsburgh, Pennsylvania, USA, October 3, 2002	Haskell	2002	DBLP DOI BibTeX RDF
50	Koen Claessen, John Hughes 0001	Testing monadic code with QuickCheck.	Haskell	2002	DBLP DOI BibTeX RDF
50	Henrik Nilsson, Antony Courtney, John Peterson	Functional reactive programming, continued.	Haskell	2002	DBLP DOI BibTeX RDF
50	James Cheney, Ralf Hinze	A lightweight implementation of generics and dynamics.	Haskell	2002	DBLP DOI BibTeX RDF
50	Graham Hutton (eds.)	Proceedings of the 2000 ACM SIGPLAN Workshop on Haskell, Haskell 2000, Satellite Event of PLI 2000, Montreal, Canada, September 17, 2000	Haskell	2000	DBLP BibTeX RDF
50	Chris Okasaki	An Overview of Edison.	Haskell	2000	DBLP DOI BibTeX RDF
50	Ralf Hinze, Simon L. Peyton Jones	Derivable Type Classes.	Haskell	2000	DBLP DOI BibTeX RDF
50	S. Doaitse Swierstra	Combinator Parsers - From Toys to Tools.	Haskell	2000	DBLP DOI BibTeX RDF
50	Graham Hutton	Preface.	Haskell	2000	DBLP DOI BibTeX RDF
50	Martin Erwig, Simon L. Peyton Jones	Pattern Guards and Transformational Patterns.	Haskell	2000	DBLP DOI BibTeX RDF
48	Christopher Brown 0002, Simon J. Thompson	Clone detection and elimination for Haskell.	PEPM	2010	DBLP DOI BibTeX RDF	hare, program transformation, program analysis, refactoring, haskell, generalisation, duplicated code
48	Michael Lesniak	PASTHA: parallelizing stencil calculations in Haskell.	DAMP	2010	DBLP DOI BibTeX RDF	sequence scoring, haskell, stencil
48	Abdallah Al Zain, Kevin Hammond, Jost Berthold, Philip W. Trinder, Greg Michaelson, Mustafa Aswad	Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures.	DAMP	2009	DBLP DOI BibTeX RDF	eden, multicore parallelism, haskell, algorithmic skeletons
48	Curt J. Sampson	Experience report: Haskell in the 'real world': writing a commercial application in a lazy functional lanuage.	ICFP	2009	DBLP DOI BibTeX RDF	commercial programming, financial systems, functional programming, haskell
48	Cristian Perfumo, Nehir Sönmez, Srdjan Stipic, Osman S. Unsal, Adrián Cristal, Tim Harris 0001, Mateo Valero	The limits of software transactional memory (STM): dissecting Haskell STM applications on a many-core environment.	Conf. Computing Frontiers	2008	DBLP DOI BibTeX RDF	transactional memory, haskell, instrumentation
48	Jonathan Cooper, Steve McKeever	Experience report: a Haskell interpreter for cellML.	ICFP	2007	DBLP DOI BibTeX RDF	cellML, haskell
48	Simon L. Peyton Jones	Call-pattern specialisation for haskell programs.	ICFP	2007	DBLP DOI BibTeX RDF	compilers, optimisation, haskell, specialisation
48	Martin Leucker, Thomas Noll 0001, Perdita Stevens, Michael Weber 0002	Functional programming languages for verification tools: a comparison of Standard ML and Haskell.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Language adequacy, Haskell, ML, Verification tools, Functional programming languages
48	Bernd Braßel, Frank Huch	Translating curry to haskell system demo.	WCFLP	2005	DBLP DOI BibTeX RDF	compiler, haskell, translation, curry
48	Andrew M. Cheadle, A. J. Field, Simon Marlow, Simon L. Peyton Jones, Ronald Lyndon While	Exploring the barrier to entry: incremental generational garbage collection for Haskell.	ISMM	2004	DBLP DOI BibTeX RDF	non-stop haskell, incremental garbage collection
48	Jan Christiansen, Frank Huch	Searching for deadlocks while debugging concurrent haskell programs.	ICFP	2004	DBLP DOI BibTeX RDF	concurrent haskell, detecting deadlocks, debugging, deadlock
48	Olivier Danvy, Morten Rhiger	A Simple Take on Typed Abstract Syntax in Haskell-like Languages.	FLOPS	2001	DBLP DOI BibTeX RDF	Type-directed partial evaluation, normalization functions, simply typed lambda-calculus, Haskell, higher-order abstract syntax
48	Koen Claessen, John Hughes 0001	QuickCheck: a lightweight tool for random testing of Haskell programs.	ICFP	2000	DBLP DOI BibTeX RDF	Haskell
48	José E. Gallardo, Francisco Gutiérrez, Blas C. Ruiz	Inheritance and Selective Methods Dispatching in Concurrent Haskell.	PLILP	1997	DBLP DOI BibTeX RDF	guarded methods, functional programming, Haskell, inheritance anomaly, Concurrent objects
45	Liwen Huang, Paul Hudak, John Peterson	HPorter: Using Arrows to Compose Parallel Processes.	PADL	2007	DBLP DOI BibTeX RDF
45	Sigbjørn Finne, Daan Leijen, Erik Meijer 0001, Simon L. Peyton Jones	Calling Hell From Heaven and Heaven From Hell.	ICFP	1999	DBLP DOI BibTeX RDF
44	David M. Goblirsch	An introduction to Haskell with applications to digital signal processing.	SAC	1994	DBLP DOI BibTeX RDF	functional programming, digital signal-processing, Haskell, Haskell
43	Yoshihiro Oyama, Yoshiki Kaneko, Hideya Iwasaki	Kenro: a virtual machine monitor mostly described in Haskell.	SAC	2009	DBLP DOI BibTeX RDF	functional languages, virtual machine monitors
43	Nalini Vasudevan, Satnam Singh, Stephen A. Edwards	A deterministic multi-way rendezvous library for haskell.	IPDPS	2008	DBLP DOI BibTeX RDF
43	Martin Sulzmann, Kenny Zhuo Ming Lu	XHaskell - Adding Regular Expression Types to Haskell.	IFL	2007	DBLP DOI BibTeX RDF
43	Jürgen Giesl, Stephan Swiderski, Peter Schneider-Kamp, René Thiemann	Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages.	RTA	2006	DBLP DOI BibTeX RDF
43	Huiqing Li, Simon J. Thompson	Comparative Study of Refactoring Haskell and Erlang Programs.	SCAM	2006	DBLP DOI BibTeX RDF
43	Frank Huch, Frank Kupke	A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell.	IFL	2005	DBLP DOI BibTeX RDF
43	Steffen Priebe	Preprocessing Eden with Template Haskell.	GPCE	2005	DBLP DOI BibTeX RDF
43	Ulf Norell, Patrik Jansson	Prototyping Generic Programming in Template Haskell.	MPC	2004	DBLP DOI BibTeX RDF
43	Ralf Hinze, Johan Jeuring	Generic Haskell: Applications.	Generic Programming	2003	DBLP DOI BibTeX RDF
43	Ralf Hinze, Johan Jeuring	Generic Haskell: Practice and Theory.	Generic Programming	2003	DBLP DOI BibTeX RDF
43	William L. Harrison, Tim Sheard, James Hook	Fine Control of Demand in Haskell.	MPC	2002	DBLP DOI BibTeX RDF
43	Francisco Heron de Carvalho Junior, Rafael Dueire Lins, Ricardo Massa Ferreira Lima	Translating Haskell# Programs into Petri Nets.	VECPAR	2002	DBLP DOI BibTeX RDF
43	Manuel M. T. Chakravarty, Gabriele Keller, Roman Lechtchinsky, Wolf Pfannenstiel	Nepal - Nested Data Parallelism in Haskell.	Euro-Par	2001	DBLP DOI BibTeX RDF
43	Jonas Holmerin, Björn Lisper	Development of Parallel Algorithms in Data Field Haskell (Research Note).	Euro-Par	2000	DBLP DOI BibTeX RDF
43	Einar W. Karlsen, Stefan Westmeier	Using Concurrent Haskell to Develop Views over an Active Repository.	Implementation of Functional Languages	1997	DBLP DOI BibTeX RDF
41	Stephanie Weirich, Chris Casinghino	Arity-generic datatype-generic programming.	PLPV	2010	DBLP DOI BibTeX RDF	agda, arity-generic programming, generic haskell, dependent types
41	Huiqing Li, Simon J. Thompson	Tool support for refactoring functional programs.	PEPM	2008	DBLP DOI BibTeX RDF	hare, static/dynamic semantics, wrangler, program transformation, program analysis, refactoring, haskell, erlang
41	Ravi Nanavati	Experience report: a pure shirt fits.	ICFP	2008	DBLP DOI BibTeX RDF	functional programming, Haskell, monads, Bluespec
41	Henrik Nilsson	Dynamic optimization for functional reactive programming using generalized algebraic data types.	ICFP	2005	DBLP DOI BibTeX RDF	DSEL, FRP, Yampa, synchronous dataflow languages, functional programming, domain-specific languages, Haskell, reactive programming, GADT, combinator library, arrows
41	Levent Erkök, John Launchbury	Recursive monadic bindings.	ICFP	2000	DBLP DOI BibTeX RDF	Haskell
39	Paul Tarau	Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell.	SAC	2009	DBLP DOI BibTeX RDF	Ackermann encoding, Haskell data representations, computational mathematics, hereditarily finite functions, hereditarily finite sets, ranking/unranking
39	Tom Schrijvers, Louis-Julien Guillemette, Stefan Monnier	Type invariants for Haskell.	PLPV	2009	DBLP DOI BibTeX RDF	type families, type functions, haskell, type checking
39	Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp, Andreas P. Priesnitz	A comparison of c++ concepts and haskell type classes.	ICFP-WGP	2008	DBLP DOI BibTeX RDF	specification-driven development, c++, haskell, generic programming, concepts, type classes
39	Lennart Augustsson, Howard Mansell, Ganesh Sittampalam	Paradise: a two-stage DSL embedded in Haskell.	ICFP	2008	DBLP DOI BibTeX RDF	dsels, paradise, Haskell, metaprogramming
39	Mark Sherriff, Nachiappan Nagappan, Laurie A. Williams, Mladen A. Vouk	Early estimation of defect density using an in-process Haskell metrics model.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	software quality, haskell, empirical software engineering, multiple regression
39	Mark Sherriff, Nachiappan Nagappan, Laurie A. Williams, Mladen A. Vouk	Early estimation of defect density using an in-process Haskell metrics model.	A-MOST	2005	DBLP DOI BibTeX RDF	software quality, haskell, empirical software engineering, multiple regression
39	George Russell	Events in Haskell, and How to Implement Them.	ICFP	2001	DBLP DOI BibTeX RDF	Haskell
39	Simon Marlow, Simon L. Peyton Jones, Andrew Moran, John H. Reppy	Asynchronous Exceptions in Haskell.	PLDI	2001	DBLP DOI BibTeX RDF	Haskell
39	Andrew M. Cheadle, A. J. Field, Simon Marlow, Simon L. Peyton Jones, Ronald Lyndon While	Non-stop Haskell.	ICFP	2000	DBLP DOI BibTeX RDF	Haskell
39	John Peterson	Microsoft and Yale Conclude Agreement to License Technology for Haskell.	ACM SIGPLAN Notices	1999	DBLP DOI BibTeX RDF	Haskell
39	Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh	Lava: Hardware Design in Haskell.	ICFP	1998	DBLP DOI BibTeX RDF	Haskell
37	Ben Denckla	Many cyclic block diagrams do not need parallel semantics.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	semantics, haskell, Haskell, esterel, block diagrams, ptolemy
36	Ricardo Massa Ferreira Lima, Rafael Dueire Lins, André L. M. Santos	A back-end for GHC based on categorical multi-combinators.	SAC	2004	DBLP DOI BibTeX RDF
36	Ralf Lämmel, Joost Visser 0001	A Strafunski Application Letter.	PADL	2003	DBLP DOI BibTeX RDF	Strafunski, Generic traversal, External components, Program transformation, Program analysis, Functional programming, Language processing, Interchange formats
36	Amanda Clare, Ross D. King	Data Mining the Yeast Genome in a Lazy Functional Language.	PADL	2003	DBLP DOI BibTeX RDF
36	Ralf Hinze	A New Approach to Generic Functional Programming.	POPL	2000	DBLP DOI BibTeX RDF
36	Richard Kelsey, William D. Clinger, Jonathan Rees	Revised5 Report on the Algorithmic Language Scheme.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF	SCHEME
36	Guy L. Steele Jr.	Building Interpreters by Composing Monads.	POPL	1994	DBLP DOI BibTeX RDF
34	Iavor S. Diatchki (eds.)	Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, Oxford, United Kingdom, September 7-8, 2017	Haskell	2017	DBLP DOI BibTeX RDF
34	Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller	Streaming irregular arrays.	Haskell	2017	DBLP DOI BibTeX RDF
34	Dmitrij Szamozvancev, Michael B. Gale	Well-typed music does not sound wrong (experience report).	Haskell	2017	DBLP DOI BibTeX RDF
34	Jennifer Paykin, Steve Zdancewic	The linearity Monad.	Haskell	2017	DBLP DOI BibTeX RDF
34	Maximilian Algehed, Koen Claessen, Moa Johansson, Nicholas Smallbone	QuickSpec: a lightweight theory exploration tool for programmers (system demonstration).	Haskell	2017	DBLP DOI BibTeX RDF
34	Anton Ekblad	A meta-EDSL for distributed web applications.	Haskell	2017	DBLP DOI BibTeX RDF
34	Leonidas Lampropoulos, Antal Spector-Zabusky, Kenneth Foner	Ode on a random urn (functional pearl).	Haskell	2017	DBLP DOI BibTeX RDF
34	Didier Rémy	Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse (invited talk).	Haskell	2017	DBLP DOI BibTeX RDF
34	Rudy Braquehais, Colin Runciman	Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results.	Haskell	2017	DBLP DOI BibTeX RDF
34	Ryan Yates, Michael L. Scott	Improving STM performance with transactional structs.	Haskell	2017	DBLP DOI BibTeX RDF
34	Mario Blazevic, Jacques Légaré	Packrats parse in packs.	Haskell	2017	DBLP DOI BibTeX RDF
34	Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler	Quantified class constraints.	Haskell	2017	DBLP DOI BibTeX RDF
34	Justin Dawson, Mark Grebe, Andy Gill	Composable network stacks and remote monads.	Haskell	2017	DBLP DOI BibTeX RDF
34	Andrey Mokhov	Algebraic graphs with class (functional pearl).	Haskell	2017	DBLP DOI BibTeX RDF
34	Ivan Perez 0001	Back to the future: time travel in FRP.	Haskell	2017	DBLP DOI BibTeX RDF
34	Georgios Karachalias, Tom Schrijvers	Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies!	Haskell	2017	DBLP DOI BibTeX RDF
34	Wouter Swierstra (eds.)	Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, Gothenburg, Sweden, September 4-5, 2014	Haskell	2014	DBLP DOI BibTeX RDF
34	Nicolas Wu, Tom Schrijvers, Ralf Hinze	Effect handlers in scope.	Haskell	2014	DBLP DOI BibTeX RDF
34	Deian Stefan, Amit Levy, Alejandro Russo, David Mazières	Building secure systems with LIO (demo).	Haskell	2014	DBLP DOI BibTeX RDF
34	Amit A. Levy, David Terei, Deian Stefan, David Mazières	Demo proposal: making web applications -XSafe.	Haskell	2014	DBLP DOI BibTeX RDF
34	Niki Vazou, Eric L. Seidel, Ranjit Jhala	LiquidHaskell: experience with refinement types in the real world.	Haskell	2014	DBLP DOI BibTeX RDF