Johan Jeuring
Proceedings of the Seventh Haskell Workshop
Haskell, 2003.

@proceedings{Haskell-2003,
	acmid         = "871895",
	doi           = "10.1145/871895",
	editor        = "Johan Jeuring",
	isbn          = "978-1-58113-758-3",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Seventh Haskell Workshop}",
	year          = 2003,
}

Contents (12 items)

Haskell-2003-BirdH #functional

Functional Pearl trouble shared is trouble halved (RSB, RH), pp. 1–6.

Haskell-2003-CourtneyNP

The Yampa arcade (AC, HN, JP), pp. 7–18.

Haskell-2003-Thiemann #xml

XML templates and caching in WASH (PT), pp. 19–26.

Haskell-2003-LiRT #functional #refactoring #source code #tool support

Tool support for refactoring functional programs (HL, CR, SJT), pp. 27–38.

Haskell-2003-Sabry #haskell #modelling #quantum

Modeling quantum computing in Haskell (AS), pp. 39–49.

Haskell-2003-Karczmarczuk #framework #functional #quantum

Structure and interpretation of quantum mechanics: a functional framework (JK), pp. 50–61.

Haskell-2003-HeerenLI #haskell #learning

Helium, for learning Haskell (BH, DL, AvI), pp. 62–71.

Haskell-2003-StuckeySW #debugging #haskell #interactive

Interactive type debugging in Haskell (PJS, MS, JW), pp. 72–83.

Haskell-2003-EnnalsJ #debugging #lazy evaluation #named #source code

HsDebug: debugging lazy programs by not being lazy (RE, SLPJ), pp. 84–87.

Haskell-2003-Faxen #haskell

Haskell and principal types (KFF), pp. 88–97.

Haskell-2003-Trifonov #constraints #quantifier #simulation

Simulating quantified class constraints (VT), pp. 98–102.

Haskell-2003-Hallgren #haskell #tool support

Haskell tools from the programatica project (TH), pp. 103–106.