An extension of Standard ML modules with Subtyping And Inheritance

by John Mitchell , Sigurd Meldal , Neel Madhav
Citations:58 - 8 self

Documents Related by Co-Citation

1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
756 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
244 Inheritance is not subtyping – W R Cook, W L Hill, P S Canning - 1990
125 Using dependent types to express modular structure – David Macqueen, David Macqueen - 1986
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
66 F-bounded quantification for object-oriented programming – Peter S Canning, William Cook, Walter L Hill, John C Mitchell, Walter G Olthoff - 1989
212 Encapsulation and Inheritance in Object-Oriented Programming Languages – Alan Snyder - 1986
488 A semantics of multiple inheritance – Luca Cardelli - 1988
19 A new approach to prototyping Ada-based hardware/software systems – F Belz, D C Luckham - 1990
102 Bounded Quantification is Undecidable – Benjamin C. Pierce - 1993
55 Abstract types and the dot notation – Luca Cardelli, Xavier Leroy - 1990
135 Higher-Order Modules and the Phase Distinction – Robert Harper, John C. Mitchell, Eugenio Moggi - 1990
318 The annotated C++ reference manual – M A Ellis, B Stroustrup - 1990
72 The essence of ML – MH88 J C Mitchell, R Harper - 1988
141 A Denotational Semantics of Inheritance – William R. Cook, Brian Dalio, Tom Freeman, Craig Hansen-sturm, Victor Law, Leonard Nicholson, James Redfern, Tom Rockwell, Chris Warth - 1989
67 Interfaces and Specifications for the Smalltalk-80 Collection Classes – William R. Cook - 1992
1266 Smalltalk-80: the language and its implementation – A Goldberg, D Robson - 1983