Manifest types modules and separate compilation
| Author(s) : | Xavier Leroy, |
| Publisher : | N/A |
| Publication Date : | 1994 |
| ISSN : | N/A |
| Abstract : | This paper presents a variant of the SML module system that introduces a strict distinction between abstract types and manifest types (types whose denitions are part of the module specication), while retaining most of the expressive power of the SML module system. The resulting module system provides much better support for separate compilation., |