Work

Manifest types, modules, and separate compilation

Year: 1994

Type: conference-paper

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.

Source: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)

DOI: 10.1145/174675.176926

Author: Xavier Leroy

Institution: Stanford University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2145945984

FWCI: 9.85

Cites: 23

Cited by: 262

Related to: 10