ML Workshop 2008: Victoria, BC, Canada

Eijiro Sumii (Ed.): Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008. ACM 2008, ISBN 978-1-60558-062-3

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

Last update Tue May 21 17:44:54 2013 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page