Andres Löh
Proceedings of the 10th Haskell Workshop
Haskell, 2006.

@proceedings{Haskell-2006,
	editor        = "Andres Löh",
	isbn          = "1-59593-489-8",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 10th Haskell Workshop}",
	year          = 2006,
}

Contents (14 items)

Haskell-2006-Weirich #library #named

RepLib: a library for derivable type classes (SW), pp. 1–12.

Haskell-2006-RenE #haskell #recursion #scrap your boilerplate

A generic recursion toolbox for Haskell or: scrap your boilerplate systematically (DR, ME), pp. 13–24.

Haskell-2006-SilvaV #database #relational

Strong types for relational databases (AS0, JV), pp. 25–36.

Haskell-2006-Kagawa #haskell #polymorphism

Polymorphic variants in Haskell (KK), pp. 37–47.

Haskell-2006-Xu #haskell #static analysis

Extended static checking for haskell (DNX), pp. 48–59.

Haskell-2006-DerrinEKCC #approach #development #kernel

Running the manual: an approach to high-assurance microkernel development (PD, KE, GK, DC, MMTC), pp. 60–71.

Haskell-2006-DiatchkiJ #data type #functional #memory management #programming

Strongly typed memory areas programming systems-level data structures in a functional language (ISD, MPJ), pp. 72–83.

Haskell-2006-Thiemann #haskell #programming #transaction

User-level transactional programming in Haskell (PT), pp. 84–95.

Haskell-2006-Marlow #dynamic typing #exception

An extensible dynamically-typed hierarchy of exceptions (SM), pp. 96–106.

Haskell-2006-Himmelstrup #debugging #interactive

Interactive debugging with GHCi (DH), p. 107.

Haskell-2006-Gill #equation #haskell #reasoning

Introducing the Haskell equational reasoning assistant (AG), pp. 108–109.

Haskell-2006-Kow #generative #haskell #named #natural language

GenI: natural language generation in Haskell (EK), pp. 110–119.

Haskell-2006-Eaton #algebra #haskell #linear #static typing

Statically typed linear algebra in Haskell (FE), pp. 120–121.

Haskell-2006-Jones #haskell

Haskell' status report (IJ), p. 122.