Publication has no abstract
- ML:::F::: for everyone (users, implementers, and designers)Didier Rémy. 1-2 [doi]
- Efficient type inference using ranked type variablesGeorge Kuan, David MacQueen. 3-14 [doi]
- Status report: the manticore projectMatthew Fluet, Nic Ford, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao. 15-24 [doi]
- Status report: hot pickles, and how to serve themAndreas Rossberg, Guido Tack, Leif Kornstaedt. 25-36 [doi]
- A persistent union-find data structureSylvain Conchon, Jean-Christophe Filliâtre. 37-46 [doi]
- Status report: specifying javascript with MLDavid Herman, Cormac Flanagan. 47-52 [doi]
- Status report: layered streaming XML processing with modulesTyng-Ruey Chuang, Max Schäfer. 53-58 [doi]
- Status report: marionnet or how to implement a virtual network laboratory in six months and be happy Jean-Vincent Loddo, Luca Saiu. 59-70 [doi]
- Generics for the working ML erVesa A. J. Karvonen. 71-82 [doi]
- Practical generic programming in OCamlJeremy Yallop. 83-94 [doi]