Personal tools

Video presentations/Haskell Symposium 2008

From HaskellWiki

< Video presentations(Difference between revisions)
Jump to: navigation, search
(Add link to "Making Monads First-class with Template Haskell" paper)

Revision as of 21:18, 3 October 2008

Guerrilla videos of... ACM SIGPLAN 2008 Haskell Symposium

Victoria, British Columbia, Canada

Thursday, 25th September, 2008

1 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

2 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

3 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) (errata of the paper)
Ki Yung Ahn and Tim Sheard
Language and Program Design for Functional Dependencies
Mark Jones and Iavor Diatchki

4 Session 4: 3:20-4:30

Making Monads First-class with Template Haskell
Pericles Kariotis, Adam Procter and William Harrison (PDF of paper)
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

5 Future of Haskell: 4:30 -

Haskell' Status Report
Simon Marlow
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.