Video presentations/Haskell Symposium 2008
Jump to navigation
Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
Guerrilla videos of...
ACM SIGPLAN 2008 Haskell Symposium
Victoria, British Columbia, Canada
Thursday, 25th September, 2008
Session 1: 9:00 - 10:30
- Lightweight monadic regions
- Oleg Kiselyov and Chung-chieh Shan
- A Library for Light-weight Information-Flow Security in Haskell
- Alejandro Russo, Koen Claessen and John Hughes
- Haskell Session Types with (Almost) No Class
- Riccardo Pucella and Jesse Tov
Session 2: 10:45 - 12:00
- SmallCheck and Lazy SmallCheck: automatic exhaustive testing for small values
- Colin Runciman, Matthew Naylor and Fredrik Lindblad
- Not All Patterns, But Enough - an automatic verifier for partial but sufficient pattern matching
- Neil Mitchell and Colin Runciman (PDF of slides Media:ndm.pdf)
- Yi - An Editor in Haskell for Haskell (Demo)
- Jean-Philippe Bernardy
Session 3: 1:30 - 3:00
- Haskell, Do You Read Me? Constructing and composing effcient top-down parsers at run-time
- Marcos Viera, Doaitse Swierstra and Eelco Lempsink (PDF of slides Media:doaitse.pdf)
- Shared Subtypes: Subtyping recursive parametrized algebraic data types (PDF slides)
- Ki Yung Ahn and Tim Sheard
- Language and Program Design for Functional Dependencies
- Mark Jones and Iavor Diatchki
Session 4: 3:20-4:30
- Making Monads First-class with Template Haskell
- Pericles Kariotis, Adam Procter and William Harrison
- Comparing Libraries for Generic Programming in Haskell
- Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov and Bruno C. d. S. Oliveira
- CLASE: Cursor Library for A Structured Editor (Demo)
- Tristan O. R. Allwood, Susan Eisenbach
Future of Haskell: 4:30 -
- Haskell' Status Report
- Simon Marlow
- Haskell
- Batteries Included (Demo)
- Duncan Coutts, Isaac Potoczny-Jones, Don Stewart
- Unfortunately there is no video for this talk but slides and a brief description are posted here and a discussion is here.
- Discussion