ML Workshop 2006: Portland, Oregon, USA

• 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