Comparing object encodings (2006)

by Kim B. Bruce , Luca Cardelli , Benjamin C. Pierce
Venue:Journal of Functional Programming, 16:375 – 414
Citations:119 - 3 self

Documents Related by Co-Citation

292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
895 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
605 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David Macqueen - 1997
363 Towards a theory of type structure – J C Reynolds - 1974
34 On the Relationship between Classes, Objects, and Data Abstraction – Kathleen Fisher, John C. Mitchell - 1998
159 Simple Type-Theoretic Foundations for Object-Oriented Programming – Benjamin C. Pierce, David N. Turner - 1993
154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
137 PolyTOIL: A type-safe polymorphic object-oriented language – Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent - 1995
118 A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics – Kim B. Bruce - 1993
235 The slam calculus: programming with secrecy and integrity – Nevin Heintze, Jon G. Riecke - 1998
1097 Proof-Carrying Code – George C. Necula - 1997
327 Foundations of Programming Languages – J C Mitchell - 1996
30 Subtyping is not a good "Match" for object-oriented languages – Kim B. Bruce, Leaf Petersen, Adrian Fiech - 1997
33 Type Systems For Object-Oriented Programming Languages – Kathleen Shanahan Fisher, John C. Mitchell - 1996
145 A Linearly Typed Assembly Language – James Cheney, Greg Morrisett
131 On the syntactic control of interference – J Reynolds - 1978
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
34 Relational interpretations of recursive types in an operational setting – Lars Birkedal, Robert Harper - 1997