Andy Gill
Proceedings of the First International Symposium on Haskell
Haskell, 2008.

@proceedings{Haskell-2008,
	editor        = "Andy Gill",
	isbn          = "978-1-60558-064-7",
	publisher     = "{ACM}",
	title         = "{Proceedings of the First International Symposium on Haskell}",
	year          = 2008,
}

Contents (13 items)

Haskell-2008-KiselyovS #lightweight #monad

Lightweight monadic regions (OK, CcS), pp. 1–12.

Haskell-2008-RussoCH #data flow #haskell #library #security

A library for light-weight information-flow security in haskell (AR, KC, JH), pp. 13–24.

Haskell-2008-PucellaT #haskell

Haskell session types with (almost) no class (RP, JAT), pp. 25–36.

Haskell-2008-RuncimanNL #automation #lazy evaluation #testing

Smallcheck and lazy smallcheck: automatic exhaustive testing for small values (CR, MN, FL), pp. 37–48.

Haskell-2008-MitchellR #automation #pattern matching #verification

Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching (NM, CR), pp. 49–60.

Haskell-2008-Bernardy #editing #haskell #named

Yi: an editor in haskell for haskell (JPB), pp. 61–62.

Haskell-2008-VieraSL #haskell #parsing #performance #runtime #top-down

Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime (MV, SDS, EL), pp. 63–74.

Haskell-2008-AhnS #algebra #data type #recursion #type system

Shared subtypes: subtyping recursive parametrized algebraic data types (KYA, TS), pp. 75–86.

Haskell-2008-JonesD #dependence #design #functional

Language and program design for functional dependencies (MPJ, ISD), pp. 87–98.

Haskell-2008-KariotisPH #haskell #monad

Making monads first-class with template haskell (PSK, AMP, WLH), pp. 99–110.

Haskell-2008-RodriguezJJGKO #haskell #library #programming

Comparing libraries for generic programming in haskell (AR, JJ, PJ, AG, OK, BCdSO), pp. 111–122.

Haskell-2008-AllwoodE #editing #library #named

Clase: cursor library for a structured editor (TORA, SE), pp. 123–124.

Haskell-2008-CouttsPS #haskell #named

Haskell: batteries included (DC, IPJ, DS), pp. 125–126.