Video presentations/Haskell Symposium 2008: Difference between revisions
No edit summary |
No edit summary |
||
Line 3: | Line 3: | ||
__NOTOC__ | __NOTOC__ | ||
Guerrilla videos of... | |||
'''[http://haskell.org/haskell-symposium/2008/ ACM SIGPLAN 2008 Haskell Symposium]''' | '''[http://haskell.org/haskell-symposium/2008/ ACM SIGPLAN 2008 Haskell Symposium]''' | ||
Line 30: | Line 31: | ||
;[http://video.google.com/videoplay?docid=7818736861350305755 Haskell, Do You Read Me? Constructing and composing effcient top-down parsers at run-time] | ;[http://video.google.com/videoplay?docid=7818736861350305755 Haskell, Do You Read Me? Constructing and composing effcient top-down parsers at run-time] | ||
: Marcos Viera, Doaitse Swierstra and Eelco Lempsink | : Marcos Viera, Doaitse Swierstra and Eelco Lempsink (PDF of slides [[Media:doaitse.pdf]]) | ||
;[http://video.google.com/videoplay?docid=-231732818259976604 Shared Subtypes: Subtyping recursive parametrized algebraic data types] | ;[http://video.google.com/videoplay?docid=-231732818259976604 Shared Subtypes: Subtyping recursive parametrized algebraic data types] | ||
: Ki Yung Ahn and Tim Sheard | : Ki Yung Ahn and Tim Sheard |
Revision as of 08:44, 30 September 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
- 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