ML Workshop 2007: Freiburg, Germany

• Didier Rémy:
  ML^F for everyone (users, implementers, and designers). 1-2
  

Session 1

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

Session 2

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

Session 3

• Vesa A. J. Karvonen:
  Generics for the working ML'er. 71-82
  
• Jeremy Yallop:
  Practical generic programming in OCaml. 83-94