|
830
|
A Theory of Objects
– Luca Cardelli, MartÃn Abadi
- 1996
|
|
237
|
Inheritance is not subtyping
– W R Cook, W Hill, P S Canning
- 1990
|
|
156
|
Simple Type-Theoretic Foundations for Object-Oriented Programming
– Benjamin C. Pierce, David N. Turner
- 1993
|
|
727
|
On understanding types, data abstraction, and polymorphism
– Luca Cardelli, Peter Wegner
- 1985
|
|
475
|
A semantics of multiple inheritance
– Luca Cardelli
- 1988
|
|
110
|
A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics
– Kim B. Bruce
- 1993
|
|
1363
|
Aspect-oriented programming
– Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Lopes, Jean-marc Loingtier, John Irwin
- 1997
|
|
30
|
Subtyping is not a good "Match" for object-oriented languages
– Kim B. Bruce, Leaf Petersen, Adrian Fiech
- 1997
|
|
122
|
F-bounded polymorphism for object-oriented programming
– P S Canning, W R Cook, W L Hill, W G Olthoff, J C Mitchell
- 1989
|
|
388
|
Mixin-based inheritance
– Gilad Bracha, William Cook
- 1990
|
|
99
|
Sound Polymorphic Type Inference for Objects
– Jonathan Eifrig, Scott Smith, Valery Trifonov
- 1995
|
|
157
|
Object-Oriented Type Systems
– J Palsberg, M I Schwartzbach
- 1994
|
|
40
|
Decidability of Higher-Order Subtyping with Intersection Types
– Adriana B. Compagnoni
- 1994
|
|
107
|
An extension of system F with subtyping
– Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov
- 1991
|
|
874
|
A theory of type polymorphism in programming
– Robin Milner
- 1978
|
|
1542
|
A.: The Java Language Specification
– J Gosling, B Joy, G Steele, G Bracha, Buckley
- 2012
|
|
35
|
Safe type checking in a statically-typed object-oriented programming language
– K B Bruce
- 1993
|
|
42
|
Subtyping is not a good "match" for object-oriented languages
– Kim B. Bruce, Leaf Petersen, Adrian Fiech
- 1997
|
|
466
|
Featherweight Java: A Minimal Core Calculus for Java and GJ
– Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler
- 1999
|
