## 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.