A Denotational Semantics of Inheritance (1989)

by William R. Cook , Brian Dalio , Tom Freeman , Craig Hansen-sturm , Victor Law , Leonard Nicholson , James Redfern , Tom Rockwell , Chris Warth
Citations:141 - 6 self

Documents Related by Co-Citation

488 A semantics of multiple inheritance – Luca Cardelli - 1988
756 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
66 Inheritance in Smalltalk-80: A Denotational Definition – S N Kamin - 1988
79 Objects as closures: Abstract semantics of object-oriented languages – Uday S. Reddy - 1988
159 Simple Type-Theoretic Foundations for Object-Oriented Programming – Benjamin C. Pierce, David N. Turner - 1993
1266 Smalltalk-80: the language and its implementation – A Goldberg, D Robson - 1983
423 Mixin-based inheritance – Gilad Bracha, William Cook - 1990
1441 Object-oriented Software Construction – Bertrand Meyer - 2004
308 Subtyping recursive types – Roberto M. Amadio, Luca Cardelli - 1993
141 Operations on records – Luca Cardelli, John C. Mitchell - 1991
114 Type Inference for Record Concatenation and Multiple Inheritance – Mitchell Wand - 1989
128 Typechecking records and variants in a natural extension of ML – D Rémy - 1989
150 The Programming Language Jigsaw: Mixins, Modularity And Multiple Inheritance – Gilad Bracha, John Van Rosendale, Joseph L. Zachary, Thomas C. Henderson, B. Gale Dick - 1992
133 A Denotational Semantics of Inheritance and its Correctness – William Cook, Jens Palsberg - 1995
37 A Unifying Type-Theoretic Framework for Objects – Martin Hofmann, Benjamin Pierce - 1993
89 Modularity meets Inheritance – Gilad Bracha , Gary Lindstrom - 1992
244 Inheritance is not subtyping – W R Cook, W L Hill, P S Canning - 1990
49 Type Theories and Object-Oriented Programming – Scott Danforth, Chris Tomlinson - 1988
48 The Beta Programming Language – O L Madsen, B Møller-Pedersen, K Nygaard - 1993