ML Workshop 2006: Portland, Oregon, USA

Andrew Kennedy, François Pottier (Eds.): Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006. ACM 2006, ISBN 1-59593-483-9

Stephen Weeks:
Whole-program compilation in MLton. 1

Session 1

Tom Murphy VII:
ML grid programming with ConCert. 2-11
Jean-Christophe Filliâtre, Sylvain Conchon:
Type-safe modular hash-consing. 12-19
John Billings, Peter Sewell, Mark R. Shinwell, Rok Strnisa:
Type-safe distributed programming for OCaml. 20-31

Session 2

David Swasey, Tom Murphy VII, Karl Crary, Robert Harper:
A separate compilation extension to standard ML. 32-42
Don Syme:
Leveraging .NET meta-programming components from F#: integrated queries and interoperable heterogeneous execution. 43-54
Jean-Christophe Filliâtre:
Backtracking iterators. 55-62

Session 3

Benjamin S. Lerner, Dan Grossman, Craig Chambers:
Seminal: searching for ML type-error messages. 63-73
John H. Reppy:
Type-sensitive control-flow analysis. 74-83
Vincent Balat:
Ocsigen: typing web interaction with objective Caml. 84-94

Last update Fri May 25 08:27:11 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page