Difference between revisions of "Video presentations/Haskell Symposium 2008"
Jump to navigation
Jump to search
DonStewart (talk | contribs) |
|||
| (14 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