Papers

• A Separate Compilation Extension to Standard ML.
  David Swasey, Tom Murphy VII, Karl Crary, and Robert Harper.
  To appear, 2006 ACM SIGPLAN Workshop on ML.
  (abstract, ps, pdf, citation, TR ps, TR pdf, TR citation)
• A Separate Compilation Extension to Standard ML (Working Draft).
  David Swasey, Tom Murphy VII, Karl Crary, and Robert Harper.
  CMU Technical Report CMU-CS-06-104, January 2006.
  (abstract, ps, pdf, citation)