Search results for "Haskell"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Gabriele Keller (eds.)	Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2007, Freiburg, Germany, September 30, 2007	Haskell	2007	DBLP DOI BibTeX RDF
1	Don Stewart, Spencer Sjanssen	Xmonad.	Haskell	2007	DBLP DOI BibTeX RDF	functional programming, haskell
1	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
1	George Giorgidze, Henrik Nilsson	Demo outline: switched-on yampa.	Haskell	2007	DBLP DOI BibTeX RDF	computer music, functional reactive programming
1	Andy Gill, Colin Runciman	Haskell program coverage.	Haskell	2007	DBLP DOI BibTeX RDF	software engineering, haskell, code coverage
1	Simon L. Peyton Jones, Philip Wadler	Comprehensive comprehensions.	Haskell	2007	DBLP DOI BibTeX RDF	list comprehension, SQL, aggregate, query
1	Martin Grabmüller, Dirk Kleeblatt	Harpy: run-time code generation in haskell.	Haskell	2007	DBLP DOI BibTeX RDF	haskell, dynamic code generation
1	Neil Mitchell, Colin Runciman	Uniform boilerplate and list processing.	Haskell	2007	DBLP DOI BibTeX RDF
1	Frederik Eaton	Statically typed linear algebra in Haskell.	Haskell	2006	DBLP DOI BibTeX RDF	higher-rank polymorphism, template Haskell, linear algebra, staging, existential types
1	Peter Thiemann 0001	User-level transactional programming in Haskell.	Haskell	2006	DBLP DOI BibTeX RDF
1	Stephanie Weirich	RepLib: a library for derivable type classes.	Haskell	2006	DBLP DOI BibTeX RDF	representation types, type-indexed programming, GADT, datatype-generic programming
1	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
1	David Himmelstrup	Interactive debugging with GHCi.	Haskell	2006	DBLP DOI BibTeX RDF	interactive, debugging, Haskell, Haskell, breakpoints
1	Philip Derrin, Kevin Elphinstone, Gerwin Klein, David A. 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
1	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
1	Eric Kow	GenI: natural language generation in Haskell.	Haskell	2006	DBLP DOI BibTeX RDF	realisation, typeclasses, applications, profiling, Haskell, surface, monads, computational linguistics
1	Koji Kagawa	Polymorphic variants in Haskell.	Haskell	2006	DBLP DOI BibTeX RDF	polymorphic variants, Haskell, extensibility, type classes
1	Alexandra Silva 0001, Joost Visser 0001	Strong types for relational databases.	Haskell	2006	DBLP DOI BibTeX RDF	functional dependency theory, type-level programming, relational databases, SQL, Haskell
1	Simon Marlow	An extensible dynamically-typed hierarchy of exceptions.	Haskell	2006	DBLP DOI BibTeX RDF	Haskell, exceptions
1	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
1	Dana N. Xu	Extended static checking for haskell.	Haskell	2006	DBLP DOI BibTeX RDF	counterexample guided unrolling, pre/postcondition, symbolic simplification
1	Isaac Jones	Haskell' status report.	Haskell	2006	DBLP DOI BibTeX RDF	haskell prime, haskell standard, haskell
1	Andy Gill	Introducing the Haskell equational reasoning assistant.	Haskell	2006	DBLP DOI BibTeX RDF	ajax applications, transformation tools, equational reasoning
1	Bruno C. d. S. Oliveira, Jeremy Gibbons	TypeCase: a design pattern for type-indexed functions.	Haskell	2005	DBLP DOI BibTeX RDF	type-indexed functions, generic programming, type classes
1	Isaac Jones	Halfs: a haskell filesystem.	Haskell	2005	DBLP DOI BibTeX RDF	binary IO, haskell, filesystems
1	Daan Leijen (eds.)	Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2005, Tallinn, Estonia, September 30, 2005	Haskell	2005	DBLP DOI BibTeX RDF
1	Andreas Abel 0001, Marcin Benke, Ana Bove, John Hughes 0001, Ulf Norell	Verifying haskell programs using constructive type theory.	Haskell	2005	DBLP DOI BibTeX RDF	GHC core, monadic translation, verification, haskell, type theory, partiality
1	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
1	Krasimir Angelov, Simon Marlow	Visual haskell: a full-featured haskell development environment.	Haskell	2005	DBLP DOI BibTeX RDF	haskell development environment, visual studio
1	Tim Harris 0001, Simon Marlow, Simon L. Peyton Jones	Haskell on a shared-memory multiprocessor.	Haskell	2005	DBLP DOI BibTeX RDF
1	Richard S. Bird	Polymorphic string matching.	Haskell	2005	DBLP DOI BibTeX RDF	boyer-moore, knuth-morris-pratt, functional programming, string matching, program calculation
1	Tim Sheard	Putting curry-howard to work.	Haskell	2005	DBLP DOI BibTeX RDF	extensional kind system, logic, haskell, GADT, curry-howard isomorphism
1	David Roundy	Darcs: distributed version management in haskell.	Haskell	2005	DBLP DOI BibTeX RDF
1	Niklas Broberg	Haskell server pages through dynamic loading.	Haskell	2005	DBLP DOI BibTeX RDF	dynamic web pages, haskell, web server
1	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
1	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
1	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
1	Conal Elliott	Programming graphics processors functionally.	Haskell	2004	DBLP DOI BibTeX RDF
1	Arthur I. Baars, S. Doaitse Swierstra	Type-safe, self inspecting code.	Haskell	2004	DBLP DOI BibTeX RDF
1	André T. H. Pang, Don Stewart, Sean Seefried, Manuel M. T. Chakravarty	Plugging Haskell in.	Haskell	2004	DBLP DOI BibTeX RDF
1	Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny	Improving type error diagnosis.	Haskell	2004	DBLP DOI BibTeX RDF
1	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
1	Oleg Kiselyov, Chung-chieh Shan	Functional pearl: implicit configurations-or, type classes reflect the values of types.	Haskell	2004	DBLP DOI BibTeX RDF
1	Daan Leijen	wxHaskell: a portable and concise GUI library for haskell.	Haskell	2004	DBLP DOI BibTeX RDF
1	Markus Forsberg, Aarne Ranta	BNF converter.	Haskell	2004	DBLP DOI BibTeX RDF
1	Oleg Kiselyov, Ralf Lämmel, Keean Schupke	Strongly typed heterogeneous collections.	Haskell	2004	DBLP DOI BibTeX RDF
1	Conor McBride, James McKinna	Functional pearl: i am not a number-i am a free variable.	Haskell	2004	DBLP DOI BibTeX RDF
1	Matthias Neubauer, Peter Thiemann 0001	Haskell type browser.	Haskell	2004	DBLP DOI BibTeX RDF
1	Simon Marlow, Simon L. Peyton Jones, Wolfgang Thaller	Extending the Haskell foreign function interface with concurrency.	Haskell	2004	DBLP DOI BibTeX RDF
1	Thomas Hallgren	Haskell tools from the programatica project.	Haskell	2003	DBLP DOI BibTeX RDF
1	Robert Ennals, Simon L. Peyton Jones	HsDebug: debugging lazy programs by not being lazy.	Haskell	2003	DBLP DOI BibTeX RDF
1	Bastiaan Heeren, Daan Leijen, Arjan van IJzendoorn	Helium, for learning Haskell.	Haskell	2003	DBLP DOI BibTeX RDF
1	Jerzy Karczmarczuk	Structure and interpretation of quantum mechanics: a functional framework.	Haskell	2003	DBLP DOI BibTeX RDF
1	Amr Sabry	Modeling quantum computing in Haskell.	Haskell	2003	DBLP DOI BibTeX RDF
1	Huiqing Li, Claus Reinke, Simon J. Thompson	Tool support for refactoring functional programs.	Haskell	2003	DBLP DOI BibTeX RDF
1	Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny	Interactive type debugging in Haskell.	Haskell	2003	DBLP DOI BibTeX RDF
1	Karl-Filip Faxén	Haskell and principal types.	Haskell	2003	DBLP DOI BibTeX RDF
1	Johan Jeuring (eds.)	Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2003, Uppsala, Sweden, August 28, 2003	Haskell	2003	DBLP DOI BibTeX RDF
1	Richard S. Bird, Ralf Hinze	Functional Pearl trouble shared is trouble halved.	Haskell	2003	DBLP DOI BibTeX RDF
1	Antony Courtney, Henrik Nilsson, John Peterson	The Yampa arcade.	Haskell	2003	DBLP DOI BibTeX RDF
1	Peter Thiemann 0001	XML templates and caching in WASH.	Haskell	2003	DBLP DOI BibTeX RDF
1	Valery Trifonov	Simulating quantified class constraints.	Haskell	2003	DBLP DOI BibTeX RDF
1	Tim Sheard, Simon Peyton Jones	Template meta-programming for Haskell.	Haskell	2002	DBLP DOI BibTeX RDF
1	Koen Claessen, John Hughes 0001	Testing monadic code with QuickCheck.	Haskell	2002	DBLP DOI BibTeX RDF
1	Chris Okasaki	Techniques for embedding postfix languages in Haskell.	Haskell	2002	DBLP DOI BibTeX RDF
1	Simon Marlow	Haddock, a Haskell documentation tool.	Haskell	2002	DBLP DOI BibTeX RDF
1	Henrik Nilsson, Antony Courtney, John Peterson	Functional reactive programming, continued.	Haskell	2002	DBLP DOI BibTeX RDF
1	Iavor S. Diatchki, Mark P. Jones, Thomas Hallgren	A formal specification of the Haskell 98 module system.	Haskell	2002	DBLP DOI BibTeX RDF
1	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
1	Levent Erkök, John Launchbury	A recursive do for Haskell.	Haskell	2002	DBLP DOI BibTeX RDF
1	Jan-Willem Maessen	Eager Haskell: resource-bounded execution yields efficient iteration.	Haskell	2002	DBLP DOI BibTeX RDF
1	James Cheney, Ralf Hinze	A lightweight implementation of generics and dynamics.	Haskell	2002	DBLP DOI BibTeX RDF
1	Simon Marlow	Developing High-Performance Server Applications in Haskell - Case Study: A Haskell Web Server.	Haskell	2000	DBLP DOI BibTeX RDF
1	Chris Okasaki	An Overview of Edison.	Haskell	2000	DBLP DOI BibTeX RDF
1	Andy Gill	Debugging Haskell by Observing Intermediate Data Structures.	Haskell	2000	DBLP DOI BibTeX RDF
1	Ralf Hinze, Simon L. Peyton Jones	Derivable Type Classes.	Haskell	2000	DBLP DOI BibTeX RDF
1	Erik Meijer 0001, Sigbjørn Finne	Lambada, Haskell as a Better Java.	Haskell	2000	DBLP DOI BibTeX RDF
1	S. Doaitse Swierstra	Combinator Parsers - From Toys to Tools.	Haskell	2000	DBLP DOI BibTeX RDF
1	Graham Hutton	Preface.	Haskell	2000	DBLP DOI BibTeX RDF
1	Jonas Holmerin, Björn Lisper	Data Field Haskell.	Haskell	2000	DBLP DOI BibTeX RDF
1	Erik Meijer 0001, Danny van Velzen	Haskell Server Pages - Functional Programming and the Battle for the Middle Tier.	Haskell	2000	DBLP DOI BibTeX RDF
1	Martin Erwig, Simon L. Peyton Jones	Pattern Guards and Transformational Patterns.	Haskell	2000	DBLP DOI BibTeX RDF
1	Adam Bakewell, Colin Runciman	A Space Semantics for Core Haskell.	Haskell	2000	DBLP DOI BibTeX RDF
1	Koen Claessen, Peter Ljunglöf	Typed Logical Variables in Haskell.	Haskell	2000	DBLP DOI BibTeX RDF
1	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

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