Abstract is missing.
- Lightweight monadic regionsOleg Kiselyov, Chung-chieh Shan. 1-12 [doi]
- A library for light-weight information-flow security in haskellAlejandro Russo, Koen Claessen, John Hughes. 13-24 [doi]
- Haskell session types with (almost) no classRiccardo Pucella, Jesse A. Tov. 25-36 [doi]
- Smallcheck and lazy smallcheck: automatic exhaustive testing for small valuesColin Runciman, Matthew Naylor, Fredrik Lindblad. 37-48 [doi]
- Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matchingNeil Mitchell, Colin Runciman. 49-60 [doi]
- Yi: an editor in haskell for haskellJean-Philippe Bernardy. 61-62 [doi]
- Haskell, do you read me?: constructing and composing efficient top-down parsers at runtimeMarcos Viera, S. Doaitse Swierstra, Eelco Lempsink. 63-74 [doi]
- Shared subtypes: subtyping recursive parametrized algebraic data typesKi Yung Ahn, Tim Sheard. 75-86 [doi]
- Language and program design for functional dependenciesMark P. Jones, Iavor S. Diatchki. 87-98 [doi]
- Making monads first-class with template haskellPericles S. Kariotis, Adam M. Procter, William L. Harrison. 99-110 [doi]
- Comparing libraries for generic programming in haskellAlexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira. 111-122 [doi]
- Clase: cursor library for a structured editorTristan O. R. Allwood, Susan Eisenbach. 123-124 [doi]
- Haskell: batteries includedDuncan Coutts, Isaac Potoczny-Jones, Don Stewart. 125-126 [doi]