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:146 - 7 self

Documents Related by Co-Citation

486 A semantics of multiple inheritance – Luca Cardelli - 1988
759 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
66 Inheritance in Smalltalk-80: A denotational definition – S Kamin - 1988
78 Objects as closures: Abstract semantics of object-oriented languages – Uday S. Reddy - 1988
158 Simple Type-Theoretic Foundations for Object-Oriented Programming – Benjamin C. Pierce, David N. Turner - 1993
1268 Smalltalk-80: the language and its implementation – Adele Goldberg, David Robson - 1983
421 Mixin-based inheritance – Gilad Bracha, William Cook - 1990
1448 Object-oriented Software Construction – Bertrand Meyer - 2004
305 Subtyping recursive types – Roberto M. Amadio, Luca Cardelli - 1993
142 Operations on records – Luca Cardelli, John C. Mitchell - 1991
114 Type Inference for Record Concatenation and Multiple Inheritance – Mitchell Wand - 1989
129 Typechecking records and variants in a natural extension of ML – D Remy - 1989
153 The Programming Language Jigsaw: Mixins, Modularity And Multiple Inheritance – Gilad Bracha, John Van Rosendale, Joseph L. Zachary, Thomas C. Henderson, B. Gale Dick - 1992
132 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
48 The Beta Programming Language – O L Madsen, B Møller-Pedersen, K Nygaard - 1993
244 Inheritance is not subtyping – W R Cook, W Hill, P S Canning - 1990
49 Type Theories and Object-Oriented Programming – Scott Danforth, Chris Tomlinson - 1988