Manifest Types, Modules, and Separate Compilation

DMCA

Manifest Types, Modules, and Separate Compilation (1994)

Cached

Other Repositories/Bibliography

DBLP

Save to List
Add to Collection
Correct Errors
Monitor Changes

by Xavier Leroy

Citations:

220 - 7 self

BibTeX

@MISC{Leroy94manifesttypes,,
    author = {Xavier Leroy},
    title = {Manifest Types, Modules, and Separate Compilation},
    year = {1994}
}

OpenURL

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 compila- tion.

Keyphrases

manifest type separate compilation sml module system abstract type module specification module system strict distinction separate compila tion expressive power

DMCA