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
CMU-CS-06-104.ps
CMU-CS-06-104.pdf
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 This page maintained by [email protected]
School of Computer Science