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

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

Active Bibliography

1 M.I.: Developments in Object-Oriented Type Systems – Schwartzbach - 1994
32 Notes on Typed Object-Oriented Programming – Kathleen Fisher, John C. Mitchell - 1994
32 The Development of Type Systems for Object-Oriented Languages – Kathleen Fisher, John C. Mitchell - 1996
29 A Theory of Primitive Objects – Martín Abadi, Luca Cardelli - 1994
6 Subtyping Recursive Types in Kernel Fun – Dario Colazzo, Giorgio Ghelli - 1999
141 Comparing object encodings – Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce - 2006
17 Higher-Order Intersection Types and Multiple Inheritance – Adriana B. Compagnoni, Benjamin C. Pierce - 1995
Semantic Types for Class-based Objects – Reuben N. S. Rowe - 2012
278 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997