Documents Related by Co-Citation

1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
293 Abstract types have existential type – John C Mitchell, Gordon D Plotkin - 1988
269 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
767 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
125 Using dependent types to express modular structure – David Macqueen, David Macqueen - 1986
224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
136 Higher-Order Modules and the Phase Distinction – Robert Harper, John C. Mitchell, Eugenio Moggi - 1990
102 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
1234 On the Criteria To Be Used in Decomposing Systems into Modules – D. L. Parnas - 1972