ACM SIGPLAN 2008 Haskell Symposium

Victoria, British Columbia, Canada
Thursday, 25th September, 2008
ACM logo

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