|
|
Conferences in DBLP
(haskell)
2006 (conf/haskell/2006)
- Stephanie Weirich
RepLib: a library for derivable type classes. [Citation Graph (0, 0)][DBLP]
Haskell, 2006, pp:1-12 [Conf]
- Deling Ren, Martin Erwig
A generic recursion toolbox for Haskell or: scrap your boilerplate systematically. [Citation Graph (0, 0)][DBLP]
Haskell, 2006, pp:13-24 [Conf]
- Alexandra Silva, Joost Visser
Strong types for relational databases. [Citation Graph (0, 0)][DBLP]
Haskell, 2006, pp:25-36 [Conf]
- Koji Kagawa
Polymorphic variants in Haskell. [Citation Graph (0, 0)][DBLP]
Haskell, 2006, pp:37-47 [Conf]
- Dana N. Xu
Extended static checking for haskell. [Citation Graph (0, 0)][DBLP]
Haskell, 2006, pp:48-59 [Conf]
- Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, Manuel M. T. Chakravarty
Running the manual: an approach to high-assurance microkernel development. [Citation Graph (0, 0)][DBLP]
Haskell, 2006, pp:60-71 [Conf]
- Iavor S. Diatchki, Mark P. Jones
Strongly typed memory areas programming systems-level data structures in a functional language. [Citation Graph (0, 0)][DBLP]
Haskell, 2006, pp:72-83 [Conf]
- Peter Thiemann
User-level transactional programming in Haskell. [Citation Graph (0, 0)][DBLP]
Haskell, 2006, pp:84-95 [Conf]
- Simon Marlow
An extensible dynamically-typed hierarchy of exceptions. [Citation Graph (0, 0)][DBLP]
Haskell, 2006, pp:96-106 [Conf]
- David Himmelstrup
Interactive debugging with GHCi. [Citation Graph (0, 0)][DBLP]
Haskell, 2006, pp:107- [Conf]
- Andy Gill
Introducing the Haskell equational reasoning assistant. [Citation Graph (0, 0)][DBLP]
Haskell, 2006, pp:108-109 [Conf]
- Eric Kow
GenI: natural language generation in Haskell. [Citation Graph (0, 0)][DBLP]
Haskell, 2006, pp:110-119 [Conf]
- Frederik Eaton
Statically typed linear algebra in Haskell. [Citation Graph (0, 0)][DBLP]
Haskell, 2006, pp:120-121 [Conf]
- Isaac Jones
Haskell' status report. [Citation Graph (0, 0)][DBLP]
Haskell, 2006, pp:122- [Conf]
|
