ML Workshop 2007: Freiburg, Germany

Claudio Russo, Derek Dreyer (Eds.): Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007. ACM 2007, ISBN 978-1-59593-676-9 BibTeX

Didier Rémy:
ML^F for everyone (users, implementers, and designers). 1-2
Electronic Edition (ACM DL) BibTeX

Session 1

George Kuan, David MacQueen:
Efficient type inference using ranked type variables. 3-14
Electronic Edition (ACM DL) BibTeX
Matthew Fluet, Nic Ford, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao:
Status report: the manticore project. 15-24
Electronic Edition (ACM DL) BibTeX
Andreas Rossberg, Guido Tack, Leif Kornstaedt:
Status report: hot pickles, and how to serve them. 25-36
Electronic Edition (ACM DL) BibTeX
Sylvain Conchon, Jean-Christophe Filliâtre:
A persistent union-find data structure. 37-46
Electronic Edition (ACM DL) BibTeX

Session 2

David Herman, Cormac Flanagan:
Status report: specifying javascript with ML. 47-52
Electronic Edition (ACM DL) BibTeX
Tyng-Ruey Chuang, Max Schäfer:
Status report: layered streaming XML processing with modules. 53-58
Electronic Edition (ACM DL) BibTeX
Jean-Vincent Loddo, Luca Saiu:
Status report: marionnet or "how to implement a virtual network laboratory in six months and be happy". 59-70
Electronic Edition (ACM DL) BibTeX

Session 3

Vesa A. J. Karvonen:
Generics for the working ML'er. 71-82
Electronic Edition (ACM DL) BibTeX
Jeremy Yallop:
Practical generic programming in OCaml. 83-94
Electronic Edition (ACM DL) BibTeX