A separate compilation extension to Standard ML

A separate compilation extension to Standard ML (2006)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by David Swasey , Tom Murphy , Vii Karl , Crary Robert Harper

Venue:	In ML Workshop 2006, September 2006. URL http://tom7.org/papers
Citations:	6 - 0 self

BibTeX

@TECHREPORT{Swasey06aseparate,
    author = {David Swasey and Tom Murphy and Vii Karl and Crary Robert Harper},
    title = {A separate compilation extension to Standard ML},
    institution = {In ML Workshop 2006, September 2006. URL http://tom7.org/papers},
    year = {2006}
}

Bookmark

OpenURL

Abstract

separate compilation. The system gives meaning to individual program fragments, called units. Units may depend on one another in a way specified by the programmer. A dependency may be mediated by an interface (the type of a unit); if so, the units can be compiled separately. Otherwise, they must be compiled in sequence. We also propose a methodology for programming in SMLSC that reflects code development practice and avoids syntactic repetition of interfaces. The language is given a formal semantics, and we argue that this semantics is implementable in a variety of compilers.

Citations

573	The Definition of Standard ML (Revised - Milner, Tofte, et al. - 1997
557	From system F to typed assembly language - Morrisett, Walker, et al. - 1999
251	A type-theoretic approach to higher-order modules - Harper, Lillibridge - 1994
208	Manifest types, modules, and separate compilation - Leroy - 1994
174	Units: Cool modules for HOT languages - Flatt, Felleisen - 1998
136	Program Fragments, Linking, and Modularization - Cardelli - 1997
100	A calculus of module systems - Ancona, Zucca
88	What are principal typings and what are they good for - Jim - 1998
80	A type-theoretic interpretation of Standard ML. Proof, language, and interaction: Essays in honor of robin milner - Harper, Stone - 2000
73	A modular module system - Leroy - 2000
57	Type-safe linking and modular assembly language - Glew, Morrisett - 1999
37	An interpretation of Standard ML in type theory - Harper, Stone - 1997
34	The cost of selective recompilation and environment processing - ADAMS, TICHY, et al. - 1994
30	Garrigue, Didier Rémy and Jéróme Vouillon: The Objective Caml System - Leroy, Doligez, et al. - 2010
26	Eric Eide. Knit: Component composition for systems software - Reid, Flatt, et al. - 2000
25	Hierarchical modularity - Blume, Appel - 1999
19	Design considerations for ML-style module systems - Harper, Pierce - 2005
14	Program modules, separate compilation, and intermodule optimisation - Elsman - 1999
14	Incremental recompilation for Standard ML of New Jersey - Harper, Lee, et al. - 1994
14	J.B.: Call-by-value mixin modules: Reduction semantics, side effects, types - Hirschowitz, Leroy, et al. - 2004
7	Dependency analysis for Standard ML - Blume - 1999
7	Type inference, principal typings, and let-polymorphism for first-class mixin modules - Makholm, Wells - 2005
5	Duggan and Constantinos Sourelis. Mixin modules - Dominic - 1996
1	CM: The SML/NJ compilation and library manager (for SML/NJ version 110.40 and later) user manual - Blume - 2002
1	Formal specification of the ML Basis system - Cejtin, Fluet, et al. - 2005
1	Mosmake version 0.9 - Makholm - 2002
1	Moscow ML owner’s manual version 2.00 - Romanenko, Russo, et al. - 2000