Manifest types, modules, and separate compilation

Xavier Leroy (1)

1 Computer Science Department [Stanford]

This paper presents a variant of the SML module system that introduces a strict distinction between abstract types and manifest types (types whose definitions are part of the module specification), while retaining most of the expressive power of the SML module system. The resulting module system provides much better support for separate compilation .

Domaines: Langage de programmation [cs.PL]

Xavier Leroy. Manifest types, modules, and separate compilation. POPL 1994: 21st symposium Principles of Programming Languages, ACM, Jan 1994, Portland, United States. pp.109-122, ⟨10.1145/174675.176926⟩. ⟨hal-01499976⟩