The 2008 ACM SIGPLAN Workshop on ML
Sunday, September 21, 2008
Final Program
- 8:50-9:00
- 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
- 10:00-10:30
- 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
- 12:00-13:30
- 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
- 15:00-15:30
- 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