Covariance and Contravariance: Conflict without a Cause (1994)

by Giuseppe Castagna
Citations:133 - 10 self

Documents Related by Co-Citation

141 A Calculus for Overload Functions with Subtyping – G. Castagna, G. Ghelli, G. Longo - 1992
171 Object-Oriented Multi-Methods in Cecil – Craig Chambers - 1992
895 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
488 A semantics of multiple inheritance – Luca Cardelli - 1988
90 Object-Oriented Programming Versus Abstract Data Types – William R. Cook - 1990
105 Typechecking and Modules for Multi-Methods – Craig Chambers, Gary T. Leavens - 1995
83 A simple technique for handling multiple polymorphism – Daniel H H Ingalls - 1986
1266 Smalltalk-80: the language and its implementation – A Goldberg, D Robson - 1983
55 Object-Oriented Programming: A Unified Foundation – G Castagna - 1997
67 Parasitic Methods: An Implementation of Multi-Methods for Java – John Boyland, Giuseppe Castagna - 1997
49 Multi-methods in a statically-typed programming language – W B Mugridge, J Hamer, J G Hosking - 1991
51 Type Checking Higher-Order Polymorphic Multi-Methods – Francois Bourdoncle , Stephan Merz - 1997
78 Static Type Checking of Multi-Methods – Rakesh Agrawal, Linda G. Demichiel, Bruce G. Lindsay - 1991
53 The Cecil language -- specification and rationale: Version 3.2 – Craig Chambers, The Cecil Group - 2004
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
131 Modular Object-Oriented Programming with Units and Mixins – Robert Bruce Findler, Matthew Flatt - 1998
17 The Dylan Programming Book – N Feinberg, S E Keene, R O Mathews, P T Withington - 1997
50 Efficient Multiple and Predicate Dispatching – Craig Chambers, Weimin Chen - 1999
24 A Semantics of Multiple Inheritance. Information and Computation, 76(2/3):138164, February/March – Luca Cardelli - 1988