The 2008 ACM SIGPLAN Workshop on ML
Sunday, September 21, 2008
Final Program

Welcome/Opening Remarks
Eijiro Sumii, Program Chair

9:00-10:00 (session chair: Eijiro Sumii)
Invited Talk: Types for Units-of-Measure in F# (slides)
Andrew Kennedy

Coffee Break

10:30-12:00 (session chair: Claudio Russo)
Lwt: A Cooperative Thread Library (slides)
Jérôme Vouillon

Hashconsing in an Incrementally Garbage-Collected System: A Story of Weak Pointers and Hashconsing in OCaml 3.10.2 (slides)
Pascal Cuoq and Damien Doligez

Unrestricted Pure Call-by-Value Recursion (slides)
Johan Nordlander, Magnus Carlsson and Andy Gill

Lunch Break

13:30-15:00 (session chair: Didier Rémy)
Compiling Pattern Matching to Good Decisions Trees (slides)
Luc Maranget

Calling Variadic Functions from a Strongly Typed Language (slides)
Matthias Blume, Michael Rainey and John Reppy

Many Holes in Hindley-Milner (slides)
Sam Lindley

Coffee Break

15:30-16:50 (session chair: Dan Grossman)
O'Browser: Objective Caml on Browsers
Benjamin Canou, Vincent Balat and Emmmanuel Chailloux

Caml-Shcaml: An OCaml Library for UNIX Shell Programming (slides)
Alec Heller and Jesse Tov

A Functional Implementation of the Garsia-Wachs Algorithm (functional pearl) (slides)
Jean-Christophe Filliatre

Last modified: September 18, 2008