Manifest types, modules, and separate compilation

1 January 1994

proceedings article
Published by Association for Computing Machinery (ACM)

p. 109-122
https://doi.org/10.1145/174675.176926

Abstract

International audienceThis 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

Keywords

SEPARATE COMPILATION
STRICT DISTINCTION
ABSTRACT TYPE
SML MODULE SYSTEM
BETTER SUPPORT
EXPRESSIVE POWER
MANIFEST TYPE
MODULE SPECIFICATION
MODULE SYSTEM

This publication has 0 references indexed in Scilit: