PolyTOIL: A type-safe polymorphic object-oriented language (1995)

by Kim B. Bruce , Adrian Fiech , Angela Schuett , Robert Van Gent
Citations:137 - 10 self

Active Bibliography

1 Developments in Object-Oriented Type Systems – Michael I. Schwartzbach, C Fl Michael I. Schwartzbach - 1994
6 Subtyping Recursive Types in Kernel Fun – Dario Colazzo, Giorgio Ghelli - 1999
31 The Development of Type Systems for Object-Oriented Languages – Kathleen Fisher, John C. Mitchell - 1996
32 Notes on Typed Object-Oriented Programming – Kathleen Fisher, John C. Mitchell - 1994
119 Comparing object encodings – Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce - 2006
26 A Theory of Primitive Objects – Martín Abadi, Luca Cardelli - 1994
37 Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 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
17 A Natural Semantics for Eiffel Dynamic Binding – Isabelle Attali, Denis Caromel, Sidi Ould Ehmety - 1996
1 OBJECT ORIENTED PROGRAMMING: INHERITANCE TO ADOPTION – T. B. Dinesh - 1991
29 Typing in object-oriented languages: Achieving expressiveness and safety – Kim B. Bruce - 1996
32 Polarized Higher-Order Subtyping – Martin Steffen - 1997
45 On subtyping and matching – Luca Cardelli - 1995
3 The Diesel language specification and rationale: Version 0.2 – Craig Chambers - 2006
254 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
118 A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics – Kim B. Bruce - 1993
18 A simple typed intermediate language for object-oriented languages – Juan Chen - 2005
105 Typechecking and Modules for Multi-Methods – Craig Chambers, Gary T. Leavens - 1995