Manifest Types, Modules, and Separate Compilation

Manifest Types, Modules, and Separate Compilation (1994)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Xavier Leroy

Citations:

208 - 8 self

BibTeX

@INPROCEEDINGS{Leroy94manifesttypes,,
    author = {Xavier Leroy},
    title = {Manifest Types, Modules, and Separate Compilation},
    booktitle = {},
    year = {1994},
    pages = {109--122},
    publisher = {ACM Press}
}

Years of Citing Articles

Bookmark

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 de nitions are part of the module speci cation), while retaining most of the expressive power of the SML module system. The resulting module system provides much better support for separate compilation. 1

Citations

1497	The Definition of Standard ML - Milner, Tofte, et al. - 1990
727	On understanding types, data abstraction, and polymorphism - Cardelli, Wegner - 1985
322	Principal type-schemes for functional programs - Damas, Milner - 1982
266	Abstract types have existential type - Mitchell, Plotkin - 1988
251	A type-theoretic approach to higher-order modules - Harper, Lillibridge - 1994
180	Modules for Standard ML - MacQueen - 1984
155	The essence of Algol - Reynolds - 1981
150	Reasoning about programs in continuation-passing style - Sabry, Felleisen - 1993
141	Programming in Modula-2 - Wirth - 1982
135	Operations on Records - Cardelli, Mitchell
133	Typeful Programming - Cardelli - 1989
130	Higher-order modules and the phase distinction - Harper, Mitchell, et al. - 1990
118	Using dependent types to express modular structure - MacQueen - 1986
98	On the type structure of standard ML - Harper, Mitchell - 1993
97	Bounded quantification is undecidable - Pierce - 1994
60	Smartest recompilation - Shao, Appel - 1993
57	Structural subtyping and the notion of power type - Cardelli - 1988
52	Abstract types and the dot notation - Cardelli, Leroy - 1990
33	The ML Kit version 1 - Birkedal, Rothwell, et al. - 1993
33	On the equivalence of data representations - Mitchell - 1991
33	Extending ML type system with a sorted equational theory. Research Report 1766, Institut National de Recherche en Informatique et Automatisme - Rémy - 1992
30	Principal signatures for higher-order program modules - Tofte - 1992
24	A type discipline for program modules - Harper, Milner, et al. - 1987
13	Extending record typing to type parametric modules with sharing - Aponte - 1993
2	Bounded quanti is undecidable - Pierce - 1992
1	Separate compilation in SML. Working note - Crégut - 1993
1	Type abbreviations in signatures. Message sent to the sml mailing list - Tofte - 1992
1	Separate compilation in SML. Working note - Cr6gut - 1993
1	Extending ML type system with a sorted equational theory. Research report 1766 - R6my - 1981