Xavier Leroy. Manifest types, modules, and separate compilation. In POPL 1994: 21st symposium Principles of Programming Languages, pages 109--122. ACM, 1994.

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.

bib | DOI | Local copy | At publisher's site ] Back

This file was generated by bibtex2html 1.99.