Manifest Types, Modules, and Separate Compilation

Manifest Types, Modules, and Separate Compilation (1994)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Xavier Leroy

Citations:

224 - 8 self

BibTeX

@MISC{Leroy94manifesttypes,,
    author = {Xavier Leroy},
    title = {Manifest Types, Modules, and Separate Compilation},
    year = {1994}
}

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 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.

Citations

1565	The Definition of Standard ML - Milner, Tofte, et al. - 1990
756	On understanding types, data abstraction, and polymorphism - Cardelli, Wegner - 1985
357	Principal type-schemes for functional programs - Damas, Milner - 1982
292	Abstract types have existential types - Mitchell, Plotkin - 1988
268	A type-theoretic approach to higherorder modules with sharing - Harper, Lillibridge - 1994
198	Modules for Standard ML - MacQueen
161	The essence of Algol - Reynolds - 1981
161	Reasoning about programs in continuation-passing style - Sabry, Felleisen - 1993
147	Programming in Modula-2 - Wirth - 1982
141	Operations on records, in - Cardelli, Mitchell - 1994
138	Typeful programming - Cardelli - 1989
135	Higher-order modules and the phase distinction - Harper, Mitchell, et al. - 1990
125	Using dependent types to express modular structure - MacQueen - 1986
103	On the type structure of Standard ML - Harper, Mitchell - 1993
102	Bounded quantification is undecidable - Pierce - 1994
61	Smartest recompilation - Shao, Appel - 1993
58	Structural subtyping and the notion of power type - Cardelli - 1988
55	Abstract types and the dot notation - Cardelli, Leroy - 1990
35	Extending ML type system with a sorted equational theory - Rémy - 1992
34	The ML Kit (Version 1 - Birkedal, Rothwell, et al. - 1993
34	On the equivalence of data representations - Mitchell - 1991
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