Bisimilarity for a First-Order Calculus of Objects with Subtyping (1996)

Cached

Download Links

by Andrew D. Gordon , Gareth D. Rees
Venue:In Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Programming Languages
Citations:43 - 2 self

Active Bibliography

27 A Tutorial on Co-induction and Functional Programming – Andrew D. Gordon - 1994
45 On subtyping and matching – Luca Cardelli - 1995
11 Type Inference with Simple Selftypes is NP-complete – Jens Palsberg, Trevor Jim - 1997
26 A Theory of Primitive Objects – Martín Abadi, Luca Cardelli - 1994
34 Compilation and Equivalence of Imperative Objects – Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen - 1998
5 Themes in Final Semantics – Marina Lenisa - 1998
137 PolyTOIL: A type-safe polymorphic object-oriented language – Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent - 1995
258 Classes and Mixins – Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen - 1998
89 A Programmer's Reduction Semantics for Classes and Mixins – Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen - 1999
7 FUNDIO: A Lambda-Calculus with a letrec, case, Constructors, and an IO-Interface: Approaching a Theory of unsafePerformIO – Manfred Schmidt-Schauß - 2003
1 Denotational Semantics Using an Operationally-Based Term Model – Mitchell Wand, Gregory T. Sullivan - 1997
Proc. LICS’94 A Semantics of Object Types – Martín Abadi, Luca Cardelli
35 A Semantics of Object Types – Martín Abadi, Luca Cardelli - 1994
May 28, 1994 3:03 PM ESOP'94 1 – Theory Of Primitive
1 Foundations of Object-Oriented Languages – Nd Workshop, Gary T. Leavens - 1995
8 An Imperative Object Calculus -- Basic Typing and Soundness – Martin Abadi, Luca Cardelli - 1995
12 A Type System for Computer Algebra – Philip S. Santas - 1994
1 Foundations of Object-Oriented Languages - 2nd Workshop report – Giuseppe Castagna, Gary T. Leavens, Gary T. Leavens - 1994
6 Objects, Types and Modal Logics – Dan S. Andersen, Lars H. Pedersen, Hans Hüttel, Josva Kleist - 1996