The SCEAS System
Navigation Menu

Conferences in DBLP

(ml)
2006 (conf/ml/2006)

  1. Stephen Weeks
    Whole-program compilation in MLton. [Citation Graph (0, 0)][DBLP]
    ML, 2006, pp:1- [Conf]
  2. Tom Murphy VII
    ML grid programming with ConCert. [Citation Graph (0, 0)][DBLP]
    ML, 2006, pp:2-11 [Conf]
  3. Jean-Christophe Filliâtre, Sylvain Conchon
    Type-safe modular hash-consing. [Citation Graph (0, 0)][DBLP]
    ML, 2006, pp:12-19 [Conf]
  4. John Billings, Peter Sewell, Mark R. Shinwell, Rok Strnisa
    Type-safe distributed programming for OCaml. [Citation Graph (0, 0)][DBLP]
    ML, 2006, pp:20-31 [Conf]
  5. David Swasey, Tom Murphy VII, Karl Crary, Robert Harper
    A separate compilation extension to standard ML. [Citation Graph (0, 0)][DBLP]
    ML, 2006, pp:32-42 [Conf]
  6. Don Syme
    Leveraging .NET meta-programming components from F#: integrated queries and interoperable heterogeneous execution. [Citation Graph (0, 0)][DBLP]
    ML, 2006, pp:43-54 [Conf]
  7. Jean-Christophe Filliâtre
    Backtracking iterators. [Citation Graph (0, 0)][DBLP]
    ML, 2006, pp:55-62 [Conf]
  8. Benjamin S. Lerner, Dan Grossman, Craig Chambers
    Seminal: searching for ML type-error messages. [Citation Graph (0, 0)][DBLP]
    ML, 2006, pp:63-73 [Conf]
  9. John H. Reppy
    Type-sensitive control-flow analysis. [Citation Graph (0, 0)][DBLP]
    ML, 2006, pp:74-83 [Conf]
  10. Vincent Balat
    Ocsigen: typing web interaction with objective Caml. [Citation Graph (0, 0)][DBLP]
    ML, 2006, pp:84-94 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002