|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 173 occurrences of 105 keywords
|
|
|
Results
Found 285 publication records. Showing 285 according to the selection in the facets
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 |
|
Displaying result #201 - #285 of 285 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3] |
|