Daan Leijen
Proceedings of the Ninth Haskell Workshop
Haskell, 2005.

@proceedings{Haskell-2005,
	editor        = "Daan Leijen",
	isbn          = "1-59593-071-X",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Ninth Haskell Workshop}",
	year          = 2005,
}

Contents (12 items)

Haskell-2005-Roundy #distributed #haskell #named

Darcs: distributed version management in haskell (DR), pp. 1–4.

Haskell-2005-AngelovM #development #haskell #visual notation

Visual haskell: a full-featured haskell development environment (KA, SM), pp. 5–16.

Haskell-2005-SchrageIG #haskell

Haskell ready to dazzle the real world (MMS, AvI, LCvdG), pp. 17–26.

Haskell-2005-StewartC

Dynamic applications from the ground up (DS, MMTC), pp. 27–38.

Haskell-2005-Broberg #haskell

Haskell server pages through dynamic loading (NB), pp. 39–48.

Haskell-2005-HarrisMJ #haskell #multi

Haskell on a shared-memory multiprocessor (TH0, SM, SLPJ), pp. 49–61.

Haskell-2005-AbelBBHN #haskell #source code #type system #using #verification

Verifying haskell programs using constructive type theory (AA0, MB, AB, JH, UN), pp. 62–73.

Haskell-2005-Sheard

Putting curry-howard to work (TS), pp. 74–85.

Haskell-2005-AlimarineSWEP #programming

There and back again: arrows for invertible programming (AA, SS, AvW, MCJDvE, RP), pp. 86–97.

Haskell-2005-OliveiraG #design pattern #named

TypeCase: a design pattern for type-indexed functions (BCdSO, JG), pp. 98–109.

Haskell-2005-Bird #polymorphism #string

Polymorphic string matching (RSB), pp. 110–115.

Haskell-2005-Jones #haskell #named

Halfs: a haskell filesystem (IJ), p. 116.