Video presentations/Haskell Symposium 2008: Difference between revisions
DonStewart (talk | contribs) (videos from HW 2008) |
DonStewart (talk | contribs) (videos from HW 2008) |
||
Line 1: | Line 1: | ||
[[Category:Community]] | [[Category:Community]] | ||
__NOTOC__ | |||
'''ACM SIGPLAN 2008 Haskell Symposium''' | '''ACM SIGPLAN 2008 Haskell Symposium''' |
Revision as of 21:25, 27 September 2008
ACM SIGPLAN 2008 Haskell Symposium
Victoria, British Columbia, Canada
Thursday, 25^th September, 2008
Session 1: 9:00 - 10:30
- Lightweight monadic regions
- Oleg Kiselyov and Chung-chieh Shan
- [http://video.google.com/videoplay?docid=2924823266768371672 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
- 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
- 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
- Discussion