<!DOCYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<title>ACM SIGPLAN 2008 Haskell Symposium Presentations (Video)</title>
</head>
<link rel=stylesheet href="../default.css" type="text/css">
</style>
<body bgcolor="white">
<hr>
<table width="100%" border="0" cellpadding="0" cellspacing="0" >
<tbody>
<tr>
<td width="100px"><img src="../Images/HaskellLogo.gif" alt="[Haskell]" align="left" border="0"></td>
<td align="center">
<h1>ACM SIGPLAN 2008 Haskell Symposium</h1>
<font size="+2"><em>
Victoria, British Columbia, Canada<br>
Thursday, 25<sup>th</sup> September, 2008<br>
</em>
</font>
</td>
<td width="100px"><img src="acmlogo.gif" alt="ACM logo" align="right" border="0"></td>
</tr>
</tbody>
</table>
<hr>
<h2>
Schedule</h2>
<dl>
<dt>Session 1: 9:00 - 10:30</dt>
<dd>
<dl>
<dt><a href="http://video.google.com/videoplay?docid=8480288061583056438">Lightweight monadic regions</a></dt>
<dd>Oleg Kiselyov and Chung-chieh Shan</dd>
<dt><a href="http://video.google.com/videoplay?docid=2924823266768371672">A Library for Light-weight Information-Flow Security in Haskell</a></dt>
<dd>Alejandro Russo, Koen Claessen and John Hughes</dd>
<dt><a href="http://video.google.com/videoplay?docid=-2432086335458210931">Haskell Session Types with (Almost) No Class</a></dt>
<dd>Riccardo Pucella and Jesse Tov</dd>
</dl>
</dd>
<dt>Session 2: 10:45 - 12:00</dt>
<dd>
<dl>
<dt><a href="http://video.google.com/videoplay?docid=8540922190337591178">SmallCheck and Lazy SmallCheck: automatic exhaustive testing for small values</a></dt>
<dd>Colin Runciman, Matthew Naylor and Fredrik Lindblad</dd>
<dt><a href="http://video.google.com/videoplay?docid=8250544235079789504">Not All Patterns, But Enough - an automatic verifier for partial but sufficient pattern matching</a></dt>
<dd>Neil Mitchell and Colin Runciman</dd>
<dt><a href="http://video.google.com/videoplay?docid=4183423992181607417">Yi - An Editor in Haskell for Haskell (Demo)</a></dt>
<dd>Jean-Philippe Bernardy</dd>
</dl>
</dd>
<dt>Session 3: 1:30 - 3:00</dt>
<dd>
<dl>
<dt><a href="http://video.google.com/videoplay?docid=7818736861350305755">Haskell, Do You Read Me? Constructing and composing effcient top-down parsers at run-time</a></dt>
<dd>Marcos Viera, Doaitse Swierstra and Eelco Lempsink</dd>
<dt><a href="http://video.google.com/videoplay?docid=-231732818259976604">Shared Subtypes: Subtyping recursive parametrized algebraic data types</a></dt>
<dd>Ki Yung Ahn and Tim Sheard</dd>
<dt><a href="http://video.google.com/videoplay?docid=-4399280499170944001">Language and Program Design for Functional Dependencies</a></dt>
<dd>Mark Jones and Iavor Diatchki</dd>
</dl>
</dd>
<dt>Session 4: 3:20-4:30</dt>
<dd>
<dl>
<dt><a href="http://video.google.com/videoplay?docid=7131199249736690943">Making Monads First-class with Template Haskell</a></dt>
<dd>Pericles Kariotis, Adam Procter and William Harrison</dd>
<dt><a href="http://video.google.com/videoplay?docid=1269998691689979629">Comparing Libraries for Generic Programming in Haskell</a></dt>
<dd>Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov and Bruno C. d. S. Oliveira</dd>
<dt><a href="http://video.google.com/videoplay?docid=1906731977807736380">CLASE: Cursor Library for A Structured Editor (Demo)</a></dt>
<dd>Tristan O. R. Allwood, Susan Eisenbach</dd>
</dl>
</dd>
<dt>Future of Haskell: 4:30 - </dt>
<dd>
<dl>
<dt><a href="http://video.google.com/videoplay?docid=5177116830079185902">Haskell' Status Report</a></dt>
<dd>Simon Marlow</dd>
<dt>Haskell: Batteries Included (Demo)</dt>
<dd>Duncan Coutts, Isaac Potoczny-Jones, Don Stewart</dd>
<dt>Discussion</dt>
</dl>
</dd>
</dl>
<hr>
</body>
</html>