default search action
ML Workshop 2007: Freiburg, Germany
- Claudio V. Russo, Derek Dreyer:
Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007. ACM 2007, ISBN 978-1-59593-676-9 - Didier Rémy:
MLF 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-02 21:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: