The SCEAS System
Navigation Menu

Conferences in DBLP

2007 (conf/ml/2007)

  1. Didier Rémy
    MLF 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]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002