Haskell 2008

13 papers

1. A library for light-weight information-flow security in haskell · Alejandro Russo, Koen Claessen, John Hughes
2. Clase: cursor library for a structured editor · Tristan Oliver Richard Allwood, Susan Eisenbach
3. Comparing libraries for generic programming in haskell · Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira
4. Haskell session types with (almost) no class · Riccardo Pucella, Jesse A. Tov
5. Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime · Marcos Viera, S. Doaitse Swierstra, Eelco Lempsink
6. Haskell: batteries included · Duncan Coutts, Isaac Potoczny-Jones, Don Stewart
7. Language and program design for functional dependencies · Mark P. Jones, Iavor S. Diatchki
8. Lightweight monadic regions · Oleg Kiselyov, Chung-chieh Shan
9. Making monads first-class with template haskell · Pericles S. Kariotis, Adam M. Procter, William L. Harrison
10. Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching · Neil Mitchell, Colin Runciman
11. Shared subtypes: subtyping recursive parametrized algebraic data types · Ki Yung Ahn, Tim Sheard
12. Smallcheck and lazy smallcheck: automatic exhaustive testing for small values · Colin Runciman, Matthew Naylor, Fredrik Lindblad
13. Yi: an editor in haskell for haskell · Jean-Philippe Bernardy