Subtyping Constraints for Incomplete Objects (Extended Abstract) (1997)

Cached

Download Links

by Viviana Bono , Michele Bugliesi , Mariangiola Dezani-Ciancaglini , Luigi Liquori
Venue:In Proc. of TAPSOFT/CAAP
Citations:28 - 17 self

Active Bibliography

11 A Subtyping for Extensible, Incomplete Objects – Viviana Bono, Michele Bugliesi, Mariangiola Dezani-ciancaglini, Luigi Liquori - 2001
9 A Core Calculus of Classes and Objects – Viviana Bono, Amit Patel, Vitaly Shmatikov, John Mitchell - 1999
2 Extensible Objects: a Tutorial – Viviana Bono - 2003
9 Matching Constraints for the Lambda Calculus of Objects – Viviana Bono, Michele Bugliesi - 1997
31 The Development of Type Systems for Object-Oriented Languages – Kathleen Fisher, John C. Mitchell - 1996
3 Typed Interpretations of Extensible Objects – Viviana Bono, Michele Bugliesi, Silvia Crafa - 2002
26 A Theory of Primitive Objects – Martín Abadi, Luca Cardelli - 1994
19 From Classes to Objects via Subtyping – Didier Rémy - 1998
2 Foundations for dynamic object re-classification – Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Luigi Liquori
10 A Linear Logic Calculus of Objects – Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli - 1996
4 An Interpretation of Extensible Objects – Gérard Boudol, Silvano Dal-Zilio, Inria Sophia Antipolis - 1999
78 A theory of primitive objects: Untyped and first-order systems – Martín Abadi, Luca Cardelli - 1994
53 A Core Calculus of Classes and Mixins – Viviana Bono , Amit Patel, Vitaly Shmatikov - 1999
17 A Natural Semantics for Eiffel Dynamic Binding – Isabelle Attali, Denis Caromel, Sidi Ould Ehmety - 1996
4 Low-Level Type Systems for Modularity and Object-Oriented Constructs – Arthur Neal Glew - 2000
17 Higher-Order Intersection Types and Multiple Inheritance – Adriana B. Compagnoni, Benjamin C. Pierce - 1995
119 Comparing object encodings – Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce - 2006
32 Notes on Typed Object-Oriented Programming – Kathleen Fisher, John C. Mitchell - 1994
1 OBJECT ORIENTED PROGRAMMING: INHERITANCE TO ADOPTION – T. B. Dinesh - 1991