Search results for "Haskell"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
7	Isaac Jones	Haskell' status report.	Haskell	2006	DBLP DOI BibTeX RDF	haskell prime, haskell standard, haskell
5	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
5	Neil C. C. Brown, Adam T. Sampson	Alloy: fast generic transformations for Haskell.	Haskell	2009	DBLP DOI BibTeX RDF	haskell, generic programming, alloy
5	Jean-Philippe Bernardy	Yi: an editor in haskell for haskell.	Haskell	2008	DBLP DOI BibTeX RDF	functional programming, haskell, editor
5	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
5	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
5	Martin Grabmüller, Dirk Kleeblatt	Harpy: run-time code generation in haskell.	Haskell	2007	DBLP DOI BibTeX RDF	haskell, dynamic code generation
5	Andy Gill, Colin Runciman	Haskell program coverage.	Haskell	2007	DBLP DOI BibTeX RDF	software engineering, haskell, code coverage
5	Frederik Eaton	Statically typed linear algebra in Haskell.	Haskell	2006	DBLP DOI BibTeX RDF	higher-rank polymorphism, template Haskell, linear algebra, staging, existential types
5	Eric Kow	GenI: natural language generation in Haskell.	Haskell	2006	DBLP DOI BibTeX RDF	realisation, typeclasses, applications, profiling, Haskell, surface, monads, computational linguistics
5	Koji Kagawa	Polymorphic variants in Haskell.	Haskell	2006	DBLP DOI BibTeX RDF	polymorphic variants, Haskell, extensibility, type classes
5	David Himmelstrup	Interactive debugging with GHCi.	Haskell	2006	DBLP DOI BibTeX RDF	interactive, debugging, Haskell, Haskell, breakpoints
5	Krasimir Angelov, Simon Marlow	Visual haskell: a full-featured haskell development environment.	Haskell	2005	DBLP DOI BibTeX RDF	haskell development environment, visual studio
5	Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell	Verifying haskell programs using constructive type theory.	Haskell	2005	DBLP DOI BibTeX RDF	GHC core, monadic translation, verification, haskell, type theory, partiality
5	Niklas Broberg	Haskell server pages through dynamic loading.	Haskell	2005	DBLP DOI BibTeX RDF	dynamic web pages, haskell, web server
5	Martijn M. Schrage, Arjan van IJzendoorn, Linda C. van der Gaag	Haskell ready to dazzle the real world.	Haskell	2005	DBLP DOI BibTeX RDF	wxHaskell, bayesian networks, graphical user interface, application, haskell
5	Isaac Jones	Halfs: a haskell filesystem.	Haskell	2005	DBLP DOI BibTeX RDF	binary IO, haskell, filesystems
4	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
4	Andy Gill	Type-safe observable sharing in Haskell.	Haskell	2009	DBLP DOI BibTeX RDF	DSL compilation, observable sharing
4	Don Jones Jr., Simon Marlow, Satnam Singh	Parallel performance tuning for Haskell.	Haskell	2009	DBLP DOI BibTeX RDF	parallel profiling, functional programming
4	Johannes Borgström, Karthikeyan Bhargavan, Andrew D. Gordon	A compositional theory for STM Haskell.	Haskell	2009	DBLP DOI BibTeX RDF	transactional memory, compositional reasoning, ambient calculus
4	Neil Mitchell, Colin Runciman	Losing functions without gaining data: another look at defunctionalisation.	Haskell	2009	DBLP DOI BibTeX RDF	defunctionalisation, firstification, haskell
4	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
4	Duncan Coutts, Isaac Potoczny-Jones, Don Stewart	Haskell: batteries included.	Haskell	2008	DBLP DOI BibTeX RDF	distribution, functional programming
4	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
4	Alejandro Russo, Koen Claessen, John Hughes	A library for light-weight information-flow security in haskell.	Haskell	2008	DBLP DOI BibTeX RDF	information-flow, library, monad, declassification
4	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
4	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
4	Simon Marlow, José Iborra, Bernard Pope, Andy Gill	A lightweight interactive debugger for haskell.	Haskell	2007	DBLP DOI BibTeX RDF	debugging, lazy evaluation
4	Geoffrey Mainland	Why it's nice to be quoted: quasiquoting for haskell.	Haskell	2007	DBLP DOI BibTeX RDF	quasiquoting, meta programming
4	Louis-Julien Guillemette, Stefan Monnier	A type-preserving closure conversion in haskell.	Haskell	2007	DBLP DOI BibTeX RDF	compilation, higher-order abstract syntax, typed assembly language, de bruijn
4	Don Stewart, Spencer Sjanssen	Xmonad.	Haskell	2007	DBLP DOI BibTeX RDF	functional programming, haskell
4	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
4	Andy Gill	Introducing the Haskell equational reasoning assistant.	Haskell	2006	DBLP DOI BibTeX RDF	ajax applications, transformation tools, equational reasoning
4	Dana N. Xu	Extended static checking for haskell.	Haskell	2006	DBLP DOI BibTeX RDF	counterexample guided unrolling, pre/postcondition, symbolic simplification
4	Deling Ren, Martin Erwig	A generic recursion toolbox for Haskell or: scrap your boilerplate systematically.	Haskell	2006	DBLP DOI BibTeX RDF	traversal strategy, generic programming
4	Peter Thiemann	User-level transactional programming in Haskell.	Haskell	2006	DBLP DOI BibTeX RDF
4	Alexandra Silva, Joost Visser	Strong types for relational databases.	Haskell	2006	DBLP DOI BibTeX RDF	functional dependency theory, type-level programming, relational databases, SQL, Haskell
4	Simon Marlow	An extensible dynamically-typed hierarchy of exceptions.	Haskell	2006	DBLP DOI BibTeX RDF	Haskell, exceptions
4	David Roundy	Darcs: distributed version management in haskell.	Haskell	2005	DBLP DOI BibTeX RDF
4	Tim Harris, Simon Marlow, Simon L. Peyton Jones	Haskell on a shared-memory multiprocessor.	Haskell	2005	DBLP DOI BibTeX RDF
4	Tim Sheard	Putting curry-howard to work.	Haskell	2005	DBLP DOI BibTeX RDF	extensional kind system, logic, haskell, GADT, curry-howard isomorphism
4	Nicholas Nethercote, Alan Mycroft	The cache behaviour of large lazy functional programs on stock hardware.	MSP/ISMM	2002	DBLP DOI BibTeX RDF	Glasgow Haskell Compiler, cache measurement, Haskell, Haskell, cache simulation, hardware counters, branch misprediction
4	Meurig Sage	FranTk - a declarative GUI language for Haskell.	ICFP	2000	DBLP DOI BibTeX RDF	graphical user interfaces, Haskell, Haskell, functional reactive programming
4	Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler	Type Classes in Haskell.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	functional programming, Haskell, Haskell, types, type classes
3	Michael D. Adams, Thomas DuBuisson	Template your boilerplate: using template haskell for efficient generic programming.	Haskell	2012	DBLP DOI BibTeX RDF
3	David Terei, Simon Marlow, Simon L. Peyton Jones, David Mazières	Safe haskell.	Haskell	2012	DBLP DOI BibTeX RDF
3	Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières	Flexible dynamic information flow control in Haskell.	Haskell	2011	DBLP DOI BibTeX RDF
3	Jeff Epstein, Andrew P. Black, Simon L. Peyton Jones	Towards Haskell in the cloud.	Haskell	2011	DBLP DOI BibTeX RDF
3	Ben Lippmeier, Gabriele Keller	Efficient parallel stencil convolution in Haskell.	Haskell	2011	DBLP DOI BibTeX RDF
3	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
3	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
3	Florian Haftmann	From higher-order logic to Haskell: there and back again.	PEPM	2010	DBLP DOI BibTeX RDF	code generation, theorem proving, haskell, higher-order logic, isabelle
3	Michael Lesniak	PASTHA: parallelizing stencil calculations in Haskell.	DAMP	2010	DBLP DOI BibTeX RDF	sequence scoring, haskell, stencil
3	José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh	A generic deriving mechanism for Haskell.	Haskell	2010	DBLP DOI BibTeX RDF
3	John Launchbury, Trevor Elliott	Concurrent orchestration in Haskell.	Haskell	2010	DBLP DOI BibTeX RDF
3	Milan Straka	The performance of the Haskell containers package.	Haskell	2010	DBLP DOI BibTeX RDF
3	Geoffrey Mainland, Greg Morrisett	Nikola: embedding compiled GPU functions in Haskell.	Haskell	2010	DBLP DOI BibTeX RDF
3	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
3	Simon Marlow, Patrick Maier, Hans-Wolfgang Loidl, Mustafa Aswad, Philip W. Trinder	Seq no more: better strategies for parallel Haskell.	Haskell	2010	DBLP DOI BibTeX RDF
3	Tom Schrijvers, Louis-Julien Guillemette, Stefan Monnier	Type invariants for Haskell.	PLPV	2009	DBLP DOI BibTeX RDF	type families, type functions, haskell, type checking
3	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
3	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
3	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
3	Avik Chaudhuri	A concurrent ML library in concurrent Haskell.	ICFP	2009	DBLP DOI BibTeX RDF	concurrent haskell, distributed synchronization protocol, synchronization abstractions, pi calculus, concurrent ML
3	Marcos Viera, S. Doaitse Swierstra, Wouter Swierstra	Attribute grammars fly first-class: how to do aspect oriented programming in Haskell.	ICFP	2009	DBLP DOI BibTeX RDF	HList, class system, type-level programming, Haskell, attribute grammars, lazy evaluation
3	Stephanie Weirich	Haskell Symposium Program Chair's Report.	Haskell	2009	DBLP DOI BibTeX RDF
3	Christiaan Baaij, Matthijs Kooijman, Jan Kuper, Marco Gerards, Bert Molenkamp	Tool DemonstrationCLasHFrom Haskell to Hardware.	Haskell	2009	DBLP DOI BibTeX RDF
3	Tristan O. R. Allwood, Simon L. Peyton Jones, Susan Eisenbach	Finding the needle: stack traces for GHC.	Haskell	2009	DBLP DOI BibTeX RDF	stack trace, debugging
3	Jean-Philippe Bernardy	Lazy functional incremental parsing.	Haskell	2009	DBLP DOI BibTeX RDF	polish representation, dynamic programming, haskell, parsing, lazy evaluation, incremental computing, editor
3	Cristian Perfumo, Nehir Sönmez, Srdjan Stipic, Osman S. Unsal, Adrián Cristal, Tim Harris, 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
3	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
3	Lennart Augustsson, Howard Mansell, Ganesh Sittampalam	Paradise: a two-stage DSL embedded in Haskell.	ICFP	2008	DBLP DOI BibTeX RDF	dsels, paradise, Haskell, metaprogramming
3	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
3	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
3	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
3	Jonathan Cooper, Steve McKeever	Experience report: a Haskell interpreter for cellML.	ICFP	2007	DBLP DOI BibTeX RDF	cellML, haskell
3	Simon L. Peyton Jones	Call-pattern specialisation for haskell programs.	ICFP	2007	DBLP DOI BibTeX RDF	compilers, optimisation, haskell, specialisation
3	Matthew Naylor, Emil Axelsson, Colin Runciman	A functional-logic library for wired.	Haskell	2007	DBLP DOI BibTeX RDF
3	George Giorgidze, Henrik Nilsson	Demo outline: switched-on yampa.	Haskell	2007	DBLP DOI BibTeX RDF	computer music, functional reactive programming
3	Philip Wadler	Faith, evolution, and programming languages: from Haskell to Java to links.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	dynamic and static typing, Java, generics, Haskell, links, type classes, parametric polymorphism
3	Iavor S. Diatchki, Mark P. Jones	Strongly typed memory areas programming systems-level data structures in a functional language.	Haskell	2006	DBLP DOI BibTeX RDF	memory areas, memory manipulation, data representation, improvement, systems programming, qualified types
3	Stephanie Weirich	RepLib: a library for derivable type classes.	Haskell	2006	DBLP DOI BibTeX RDF	representation types, type-indexed programming, GADT, datatype-generic programming
3	Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, Manuel M. T. Chakravarty	Running the manual: an approach to high-assurance microkernel development.	Haskell	2006	DBLP DOI BibTeX RDF	formalisation, verification, operating systems, rapid prototyping, Haskell, monads, executable specification, Isabelle/HOL
3	Ben Denckla	Many cyclic block diagrams do not need parallel semantics.	SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	semantics, haskell, Haskell, esterel, block diagrams, ptolemy
3	Mark Sherriff, Nachiappan Nagappan, Laurie Williams, Mladen A. Vouk	Early estimation of defect density using an in-process Haskell metrics model.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	software quality, haskell, empirical software engineering, multiple regression
3	Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber 0002	Functional programming languages for verification tools: a comparison of Standard ML and Haskell.	STTT	2005	DBLP DOI BibTeX RDF	Language adequacy, Haskell, ML, Verification tools, Functional programming languages
3	Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew P. Tolmach	A principled approach to operating system construction in Haskell.	ICFP	2005	DBLP DOI BibTeX RDF	hardware interface, verification, operating systems, Haskell, monads, programming logic
3	Bernd Braßel, Frank Huch	Translating curry to haskell system demo.	WCFLP	2005	DBLP DOI BibTeX RDF	compiler, haskell, translation, curry
3	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
3	Don Stewart, Manuel M. T. Chakravarty	Dynamic applications from the ground up.	Haskell	2005	DBLP DOI BibTeX RDF	functional programming, dynamic update, extension languages, hot swapping, dynamic applications
3	Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko C. J. D. van Eekelen, Rinus Plasmeijer	There and back again: arrows for invertible programming.	Haskell	2005	DBLP DOI BibTeX RDF	invertible program construction, haskell, polytypic programming, arrows
3	Andrew M. Cheadle, A. J. Field, Simon Marlow, Simon L. Peyton Jones, R. 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
3	Jan Christiansen, Frank Huch	Searching for deadlocks while debugging concurrent haskell programs.	ICFP	2004	DBLP DOI BibTeX RDF	concurrent haskell, detecting deadlocks, debugging, deadlock
3	Matthias Neubauer, Peter Thiemann	Haskell type browser.	Haskell	2004	DBLP DOI BibTeX RDF
3	Daan Leijen	wxHaskell: a portable and concise GUI library for haskell.	Haskell	2004	DBLP DOI BibTeX RDF
3	Simon Marlow, Simon L. Peyton Jones, Wolfgang Thaller	Extending the Haskell foreign function interface with concurrency.	Haskell	2004	DBLP DOI BibTeX RDF
3	André T. H. Pang, Don Stewart, Sean Seefried, Manuel M. T. Chakravarty	Plugging Haskell in.	Haskell	2004	DBLP DOI BibTeX RDF
3	Andres Löh, Dave Clarke, Johan Jeuring	Dependency-style generic Haskell.	ICFP	2003	DBLP DOI BibTeX RDF	generic haskell, functional programming, type systems, generic programming
3	Peter Dybjer, Qiao Haiyan, Makoto Takeyama	Verifying Haskell Programs by Combining Testing and Proving.	QSIC	2003	DBLP DOI BibTeX RDF	BDDs and Haskell, program verification, random testing, type theory, proof-assistants