Objects and classes in Algol-like languages (2002)

by Uday S. Reddy
Venue:Information and Computation
Citations:22 - 5 self

Active Bibliography

26 A Theory of Primitive Objects – Martín Abadi, Luca Cardelli - 1994
66 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
32 Notes on Typed Object-Oriented Programming – Kathleen Fisher, John C. Mitchell - 1994
31 The Development of Type Systems for Object-Oriented Languages – Kathleen Fisher, John C. Mitchell - 1996
119 Comparing object encodings – Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce - 2006
Logical Observable Entities – Jonathan G. Rossie, Jr. - 1998
64 Ownership Confinement Ensures Representation Independence for Object-Oriented Programs – Anindya Banerjee, David A. Naumann - 2002
and – Anindya Banerjee, David A. Naumann - 2002
9 A Core Calculus of Classes and Objects – Viviana Bono, Amit Patel, Vitaly Shmatikov, John Mitchell - 1999
Adaptation in HOT Languages Comparing Polymorphism, Modules, and Objects – David Macqueen Bell - 2000
251 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
152 The Programming Language Jigsaw: Mixins, Modularity And Multiple Inheritance – Gilad Bracha, John Van Rosendale, Joseph L. Zachary, Thomas C. Henderson, B. Gale Dick - 1992
On Understanding Data . . . – William R. Cook - 2009
Inheritance From The Standpoint Of Specification And Modeling – Peeter Pruuden - 1997
1 Subtyping and Inheritance in Object-Oriented Programming – Stoyan Kurtev - 2000
Logic Column 6 – Column Editor Jon, Jon G. Riecke, Peter W. O'hearn
1 OBJECT ORIENTED PROGRAMMING: INHERITANCE TO ADOPTION – T. B. Dinesh - 1991
Haskell's overlooked . . . – Oleg Kiselyov , Ralf Lämmel - 2005
1 Developments in Object-Oriented Type Systems – Michael I. Schwartzbach, C Fl Michael I. Schwartzbach - 1994