Video presentations/Haskell Symposium 2008

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) (errata of the paper)

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 (PDF of paper) (PDF of slides) (Website)

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