Documents Related by Co-Citation

1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
274 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
227 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
307 Abstract Types have Existential Type – John C Mitchell, Gordon D Plotkin - 1988
140 Higher-Order Modules and the Phase Distinction – Robert Harper, John C. Mitchell, Eugenio Moggi - 1990
634 Compiling with Continuations – A Appel - 1992
378 Towards a theory of type structure – J C Reynolds - 1974
130 Using dependent types to express modular structure – David Macqueen, David Macqueen - 1986
142 Typeful programming – Luca Cardelli - 1989