Conferences in DBLP

(ml)
2007 (conf/ml/2007)

1. Didier Rémy
   ML^F for everyone (users, implementers, and designers). [Citation Graph (0, 0)][DBLP]
   ML, 2007, pp:1-2 [Conf]
   
2. George Kuan, David MacQueen
   Efficient type inference using ranked type variables. [Citation Graph (0, 0)][DBLP]
   ML, 2007, pp:3-14 [Conf]
   
3. Matthew Fluet, Nic Ford, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao
   Status report: the manticore project. [Citation Graph (0, 0)][DBLP]
   ML, 2007, pp:15-24 [Conf]
   
4. Andreas Rossberg, Guido Tack, Leif Kornstaedt
   Status report: hot pickles, and how to serve them. [Citation Graph (0, 0)][DBLP]
   ML, 2007, pp:25-36 [Conf]
   
5. Sylvain Conchon, Jean-Christophe Filliâtre
   A persistent union-find data structure. [Citation Graph (0, 0)][DBLP]
   ML, 2007, pp:37-46 [Conf]
   
6. David Herman, Cormac Flanagan
   Status report: specifying javascript with ML. [Citation Graph (0, 0)][DBLP]
   ML, 2007, pp:47-52 [Conf]
   
7. Tyng-Ruey Chuang, Max Schäfer
   Status report: layered streaming XML processing with modules. [Citation Graph (0, 0)][DBLP]
   ML, 2007, pp:53-58 [Conf]
   
8. Jean-Vincent Loddo, Luca Saiu
   Status report: marionnet or "how to implement a virtual network laboratory in six months and be happy". [Citation Graph (0, 0)][DBLP]
   ML, 2007, pp:59-70 [Conf]
   
9. Vesa A. J. Karvonen
   Generics for the working ML'er. [Citation Graph (0, 0)][DBLP]
   ML, 2007, pp:71-82 [Conf]
   
10. Jeremy Yallop
    Practical generic programming in OCaml. [Citation Graph (0, 0)][DBLP]
    ML, 2007, pp:83-94 [Conf]