Proceedings of the Ninth Haskell Workshop
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

Full names Links ISxN
	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.
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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.