27 Sep 22:13
Symposium videos
From: Malcolm Wallace <Malcolm.Wallace <at> cs.york.ac.uk>
Subject: Symposium videos
Newsgroups: gmane.comp.lang.haskell.general
Date: 2008-09-27 20:16:42 GMT
Subject: Symposium videos
Newsgroups: gmane.comp.lang.haskell.general
Date: 2008-09-27 20:16:42 GMT
Guerilla videos of the Haskell Symposium 2008 presentations. Enjoy.
Regards,
Malcolm
ACM SIGPLAN 2008 Haskell SymposiumVictoria, British Columbia, CanadaThursday, 25th September, 2008 |
Schedule
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 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_______________________________________________ Haskell mailing list Haskell <at> haskell.org http://www.haskell.org/mailman/listinfo/haskell
RSS Feed