Video presentations/Haskell Symposium 2008: Difference between revisions
No edit summary |
No edit summary |
||
(12 intermediate revisions by 5 users not shown) | |||
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 23: | Line 24: | ||
: Colin Runciman, Matthew Naylor and Fredrik Lindblad | : Colin Runciman, Matthew Naylor and Fredrik Lindblad | ||
;[http://video.google.com/videoplay?docid=8250544235079789504 Not All Patterns, But Enough - an automatic verifier for partial but sufficient pattern matching] | ;[http://video.google.com/videoplay?docid=8250544235079789504 Not All Patterns, But Enough - an automatic verifier for partial but sufficient pattern matching] | ||
: Neil Mitchell and Colin Runciman | : Neil Mitchell and Colin Runciman (PDF of slides [[Media:ndm.pdf]]) | ||
;[http://video.google.com/videoplay?docid=4183423992181607417 Yi - An Editor in Haskell for Haskell (Demo)] | ;[http://video.google.com/videoplay?docid=4183423992181607417 Yi - An Editor in Haskell for Haskell (Demo)] | ||
: Jean-Philippe Bernardy | : Jean-Philippe Bernardy | ||
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] ([http://kyagrd.dyndns.org/wiki/SharedSubtypes?action=download&value=ssubtypes_haskell08_slides_8.pdf PDF slides]/[http://web.cecs.pdx.edu/~kya/wiki/SharedSubtypes?action=download&value=ssubtypes_haskell08_slides_8.pdf alternative link]) ([http://kyagrd.dyndns.org/wiki/SharedSubtypes errata of the paper]/[http://web.cecs.pdx.edu/~kya/wiki/SharedSubtypes alternative link]) | ||
: Ki Yung Ahn and Tim Sheard | : [http://kyagrd.dyndns.org/ Ki Yung Ahn] and [http://cs.pdx.edu/~sheard/ Tim Sheard] | ||
;[http://video.google.com/videoplay?docid=-4399280499170944001 Language and Program Design for Functional Dependencies] | ;[http://video.google.com/videoplay?docid=-4399280499170944001 Language and Program Design for Functional Dependencies] | ||
: Mark Jones and Iavor Diatchki | : Mark Jones and Iavor Diatchki | ||
Line 38: | Line 39: | ||
== Session 4: 3:20-4:30 == | == Session 4: 3:20-4:30 == | ||
;[http://video.google.com/videoplay?docid=7131199249736690943 Making Monads First-class with Template Haskell] | ;[http://video.google.com/videoplay?docid=7131199249736690943 Making Monads First-class with Template Haskell] ([http://monadgarden.cs.missouri.edu/wiki/images/b/bc/haskell08.pdf PDF of paper]) ([http://monadgarden.cs.missouri.edu/wiki/images/1/1a/Haskell08-presentation.pdf PDF of slides]) ([http://monadgarden.cs.missouri.edu/MonadLab Website]) | ||
: Pericles Kariotis, Adam Procter and William Harrison | : Pericles Kariotis, [http://web.missouri.edu/~amp269/ Adam Procter] and [http://www.cs.missouri.edu/~harrisonwl/ William Harrison] | ||
;[http://video.google.com/videoplay?docid=1269998691689979629 Comparing Libraries for Generic Programming in Haskell] | ;[http://video.google.com/videoplay?docid=1269998691689979629 Comparing Libraries for Generic Programming in Haskell] | ||
: Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov and Bruno C. d. S. Oliveira | : Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov and Bruno C. d. S. Oliveira |
Latest revision as of 22:58, 7 December 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/alternative link) (errata of the paper/alternative link)
- 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