A Calculus for Overload Functions with Subtyping (1992)

by G. Castagna , G. Ghelli , G. Longo
Venue:
Citations:141 - 28 self

Documents Related by Co-Citation

488 A semantics of multiple inheritance – Luca Cardelli - 1988
105 Typechecking and Modules for Multi-Methods – Craig Chambers, Gary T. Leavens - 1995
244 Inheritance is not subtyping – W R Cook, W L Hill, P S Canning - 1990
78 Static Type Checking of Multi-Methods – Rakesh Agrawal, Linda G. Demichiel, Bruce G. Lindsay - 1991
756 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
171 Object-Oriented Multi-Methods in Cecil – Craig Chambers - 1992
755 Eiffel: the language – B Meyer - 1992
895 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
308 Subtyping recursive types – Roberto M. Amadio, Luca Cardelli - 1993
317 Pizza into Java: Translating theory into practice – Martin Odersky, Philip Wadler - 1997
90 Object-Oriented Programming Versus Abstract Data Types – William R. Cook - 1990
51 Type Checking Higher-Order Polymorphic Multi-Methods – Francois Bourdoncle , Stephan Merz - 1997
109 A Proposal for Making Eiffel Type-Safe – William Cook - 1989
49 Multi-methods in a statically-typed programming language – W B Mugridge, J Hamer, J G Hosking - 1991
10 Statically Typed Multi-Methods via Partially Abstract Types. Unpublished manuscript – Benjamin C Pierce, David N Turner - 1992
159 Simple Type-Theoretic Foundations for Object-Oriented Programming – Benjamin C. Pierce, David N. Turner - 1993
212 Encapsulation and Inheritance in Object-Oriented Programming Languages – Alan Snyder - 1986
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
67 Interfaces and Specifications for the Smalltalk-80 Collection Classes – William R. Cook - 1992