Personal tools

Video presentations/Haskell Symposium 2008

From HaskellWiki

< Video presentations(Difference between revisions)
Jump to: navigation, search
(videos from HW 2008)
 
 
(23 intermediate revisions by 7 users not shown)
Line 1: Line 1:
 
[[Category:Community]]
 
[[Category:Community]]
   
'''ACM SIGPLAN 2008 Haskell Symposium'''
+
__NOTOC__
  +
  +
Guerrilla videos of...
  +
'''[http://haskell.org/haskell-symposium/2008/ ACM SIGPLAN 2008 Haskell Symposium]'''
   
 
Victoria, British Columbia, Canada
 
Victoria, British Columbia, Canada
   
Thursday, 25^th September, 2008
+
Thursday, 25th September, 2008
   
 
== Session 1: 9:00 - 10:30 ==
 
== Session 1: 9:00 - 10:30 ==
Line 11: Line 11:
 
;[http://video.google.com/videoplay?docid=8480288061583056438 Lightweight monadic regions]
 
;[http://video.google.com/videoplay?docid=8480288061583056438 Lightweight monadic regions]
 
: Oleg Kiselyov and Chung-chieh Shan
 
: Oleg Kiselyov and Chung-chieh Shan
;[http://video.google.com/videoplay?docid=2924823266768371672 A Library for Light-weight Information-Flow Security in Haskell
+
;[http://video.google.com/videoplay?docid=2924823266768371672 A Library for Light-weight Information-Flow Security in Haskell]
 
: Alejandro Russo, Koen Claessen and John Hughes
 
: Alejandro Russo, Koen Claessen and John Hughes
 
;[http://video.google.com/videoplay?docid=-2432086335458210931 Haskell Session Types with (Almost) No Class]
 
;[http://video.google.com/videoplay?docid=-2432086335458210931 Haskell Session Types with (Almost) No Class]
Line 21: Line 21:
 
: 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 28: Line 28:
   
 
;[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 36: Line 36:
 
== 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
Line 46: Line 46:
   
 
;[http://video.google.com/videoplay?docid=5177116830079185902 Haskell' Status Report]
 
;[http://video.google.com/videoplay?docid=5177116830079185902 Haskell' Status Report]
; Simon Marlow
+
: Simon Marlow
 
; Haskell: Batteries Included (Demo)
 
; Haskell: Batteries Included (Demo)
; Duncan Coutts, Isaac Potoczny-Jones, Don Stewart
+
: Duncan Coutts, Isaac Potoczny-Jones, Don Stewart
  +
: Unfortunately there is no video for this talk but slides and a brief description are posted [http://blog.well-typed.com/2008/09/slides-from-the-haskell-platform-talk/ here] and a discussion is [http://www.serpentine.com/blog/2008/09/26/some-notes-on-the-future-of-haskell-and-fp/ here].
 
; Discussion
 
; Discussion

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

[edit] 1 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

[edit] 2 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

[edit] 3 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

[edit] 4 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

[edit] 5 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