Manifest types, modules, and separate compilation

Abstract : 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 .
Document type :
Conference papers
Complete list of metadatas

Cited literature [25 references]  Display  Hide  Download

https://hal.inria.fr/hal-01499976
Contributor : Xavier Leroy <>
Submitted on : Saturday, April 1, 2017 - 8:15:11 PM
Last modification on : Monday, April 3, 2017 - 3:52:52 PM
Long-term archiving on : Sunday, July 2, 2017 - 12:49:33 PM

File

manifest-types-popl.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

36

Files downloads

176