ML 2007: Accepted Submissions

A Persistent Union-Find Data Structure   Sylvain Conchon and Jean-Christophe Filliâtre

Efficient ML Type Inference using Ranked Type Variables   George Kuan and David MacQueen

Generics for the Working ML'er   Vesa Karvonen

Practical generic programming in OCaml   Jeremy Yallop

Status Report: Marionnet -- How to Implement a Virtual Network Laboratory in Six Months and Be Happy   Jean-Vincent Loddo and Luca Saiu

Status Report: HOT pickles, and how to serve them   Andreas Rossberg, Guido Tack and Leif Kornstaedt

Status Report: Layered Streaming XML Processing with Modules   Tyng-Ruey Chuang and Max Schäfer

Status Report: Specifying JavaScript with ML   David Herman and Cormac Flanagan

Status Report: The Manticore project   Matthew Fluet, Nic Ford, Mike Rainey, John Reppy, Adam Shaw and Yingqi Xiao