ACM SIGPLAN 2008 Haskell Symposium Victoria, British Columbia, Canada Thursday, 25th September, 2008

Accepted Papers

A Library for Light-weight Information-Flow Security in Haskell

Alejandro Russo, Koen Claessen and John Hughes

Comparing Libraries for Generic Programming in Haskell

Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov and Bruno C. d. S. Oliveira

Haskell, Do You Read Me? Constructing and composing effcient top-down parsers at run-time

Marcos Viera, Doaitse Swierstra and Eelco Lempsink

Language and Program Design for Functional Dependencies

Mark Jones and Iavor Diatchki

Lightweight monadic regions

Oleg Kiselyov and Chung-chieh Shan

Making Monads First-class with Template Haskell

Pericles Kariotis, Adam Procter and William Harrison

Not All Patterns, But Enough - an automatic verifier for partial but sufficient pattern matching

Neil Mitchell and Colin Runciman

Session Types for Real Languages: Haskell Session Types with (Almost) No Class

Riccardo Pucella and Jesse Tov

Shared Subtypes: Subtyping recursive parametrized algebraic data types

Ki Yung Ahn and Tim Sheard

SmallCheck and Lazy SmallCheck: automatic exhaustive testing for small values

Colin Runciman, Matthew Naylor and Fredrik Lindblad