Computer Science Department
School of Computer Science, Carnegie Mellon University


A Separate Compilation Extension to Standard ML
(Working Draft)

David Swasey, Tom Murphy VII, Karl Crary, Robert Harper

January 2006

Keywords: ML, separate compilation

This is a proposal for an extension to the Standard ML programming language to support separate compilation. The extension allows the programmer to write a program broken into multiple fragments in a way that would be compatible between different implementations. It also allows for the separate compilation of these fragments, for incremental recompilation strategies such as cut-off recompilation, and for a range of implementation strategies including whole-program compilation. The semantics of separate compilation is defined independent of the underlying semantic framework for Standard ML and is realized in two forms corresponding to The Definition of Standard ML and The Typed Semantics of Standard ML.

58 pages

Return to: SCS Technical Report Collection
School of Computer Science

This page maintained by