PolyTOIL: A type-safe polymorphic object-oriented language (1995)

by Kim B. Bruce , Adrian Fiech , Angela Schuett , Robert Van Gent
Citations:137 - 10 self

Documents Related by Co-Citation

895 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
244 Inheritance is not subtyping – W R Cook, W L Hill, P S Canning - 1990
159 Simple Type-Theoretic Foundations for Object-Oriented Programming – Benjamin C. Pierce, David N. Turner - 1993
756 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
30 Subtyping is not a good "Match" for object-oriented languages – Kim B. Bruce, Leaf Petersen, Adrian Fiech - 1997
488 A semantics of multiple inheritance – Luca Cardelli - 1988
118 A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics – Kim B. Bruce - 1993
423 Mixin-based inheritance – Gilad Bracha, William Cook - 1990
1532 Aspect-oriented programming – Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Lopes, Jean-marc Loingtier, John Irwin - 1997
46 Subtyping is not a good "match" for object-oriented languages – Kim B. Bruce, Leaf Petersen, Adrian Fiech - 1997
136 J.C.: F-bounded polymorphism for object-oriented programming – P Canning, W Cook, W Hill, W Olthoff, Mitchell - 1989
105 Family polymorphism – E Ernst - 2001
39 Higher-order hierarchies – Erik Ernst - 2003
105 Virtual Classes: A Powerful Mechanism in ObjectOriented Programming – Ole Lehrmann Madsen, Birger Mgller-pedersen - 1989
107 Sound Polymorphic Type Inference for Objects – Jonathan Eifrig, Scott Smith, Valery Trifonov - 1995
158 Object-Oriented Type Systems – J Palsberg, M I Schwartzbach - 1994
40 Decidability of Higher-Order Subtyping with Intersection Types – Adriana B. Compagnoni - 1994
110 An extension of system F with subtyping – Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov - 1991
939 A theory of type polymorphism in programming – Robin Milner - 1978