Haskell 2008: Victoria, BC, Canada

Andy Gill (Ed.): Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008. ACM 2008, ISBN 978-1-60558-064-7

Session 1

Oleg Kiselyov, Chung-chieh Shan:
Lightweight monadic regions. 1-12
Alejandro Russo, Koen Claessen, John Hughes:
A library for light-weight information-flow security in haskell. 13-24
Riccardo Pucella, Jesse A. Tov:
Haskell session types with (almost) no class. 25-36

Session 2

Colin Runciman, Matthew Naylor, Fredrik Lindblad:
Smallcheck and lazy smallcheck: automatic exhaustive testing for small values. 37-48
Neil Mitchell, Colin Runciman:
Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching. 49-60
Jean-Philippe Bernardy:
Yi: an editor in haskell for haskell. 61-62

Session 3

Marcos Viera, S. Doaitse Swierstra, Eelco Lempsink:
Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime. 63-74
Ki Yung Ahn, Tim Sheard:
Shared subtypes: subtyping recursive parametrized algebraic data types. 75-86
Mark P. Jones, Iavor S. Diatchki:
Language and program design for functional dependencies. 87-98

Session 4

Pericles S. Kariotis, Adam M. Procter, William L. Harrison:
Making monads first-class with template haskell. 99-110
Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira:
Comparing libraries for generic programming in haskell. 111-122
Tristan O. R. Allwood, Susan Eisenbach:
Clase: cursor library for a structured editor. 123-124
Duncan Coutts, Isaac Potoczny-Jones, Don Stewart:
Haskell: batteries included. 125-126

Last update Sat May 25 02:58:32 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page