ML Workshop 2008: Victoria, BC, Canada

• Andrew Kennedy:
  Types for units-of-measure in f#: invited talk. 1-2
  

Session 1

• Jérôme Vouillon:
  Lwt: a cooperative thread library. 3-12
  
• Pascal Cuoq, Damien Doligez:
  Hashconsing in an incrementally garbage-collected system: a story of weak pointers and hashconsing in ocaml 3.10.2. 13-22
  
• Johan Nordlander, Magnus Carlsson, Andy Gill:
  Unrestricted pure call-by-value recursion. 23-34
  

Session 2

• Luc Maranget:
  Compiling pattern matching to good decision trees. 35-46
  
• Matthias Blume, Mike Rainey, John H. Reppy:
  Calling variadic functions from a strongly-typed language. 47-58
  
• Sam Lindley:
  Many holes in hindley-milner. 59-68
  

Session 3

• Benjamin Canou, Vincent Balat, Emmanuel Chailloux:
  O'browser: objective caml on browsers. 69-78
  
• Alec Heller, Jesse A. Tov:
  Caml-Shcaml: an ocaml library for unix shell programming. 79-90
  
• Jean-Christophe Filliâtre:
  A functional implementation of the garsia--wachs algorithm: (functional pearl). 91-96