Simple objects for Standard ML (1996)

Cached

Download Links

by John Reppy , Jon Riecke
Venue:In 1996 ACM SIGPLAN Conference on Programming Language Design and Implementation
Citations:42 - 1 self

Active Bibliography

32 The Development of Type Systems for Object-Oriented Languages – Kathleen Fisher, John C. Mitchell - 1996
54 A theory of primitive objects: second-order systems – Martín Abadi, Luca Cardelli
8 Matching for the Lambda Calculus of Objects – Viviana Bono, Michele Bugliesi - 1998
26 Statically Typed Friendly Functions via Partially Abstract Types – Benjamin C. Pierce, David N. Turner - 1993
9 A Core Calculus of Classes and Objects – Viviana Bono, Amit Patel, Vitaly Shmatikov, John Mitchell - 1999
May 28, 1994 3:03 PM ESOP'94 1 – Theory Of Primitive
26 A Theory of Primitive Objects – Martín Abadi, Luca Cardelli - 1994
51 An Interpretation of Objects and Object Types – Martín Abadi, Luca Cardelli, Ramesh Viswanathan - 1996
78 A theory of primitive objects: Untyped and first-order systems – Martín Abadi, Luca Cardelli - 1994
138 PolyTOIL: A type-safe polymorphic object-oriented language – Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent - 1995
3 Typed Interpretations of Extensible Objects – Viviana Bono, Michele Bugliesi, Silvia Crafa - 2002
29 Typing in object-oriented languages: Achieving expressiveness and safety – Kim B. Bruce - 1996
2 Extension Polymorphism – Dharini Balasubramaniam - 1998
9 Matching Constraints for the Lambda Calculus of Objects – Viviana Bono, Michele Bugliesi - 1997
21 Implementing Signatures for C++ – Gerald Baumgartner, Vincent F. Russo - 1994
28 Subtyping Constraints for Incomplete Objects (Extended Abstract) – Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori - 1997
11 A Subtyping for Extensible, Incomplete Objects – Viviana Bono, Michele Bugliesi, Mariangiola Dezani-ciancaglini, Luigi Liquori - 2001
10 On Binary Methods – Kim Bruce, et al.
1 www.cosc.brocku.ca On Problems in Polymorphic Object-Oriented Languages With Self Types and Matching – M. Winter, Michael Winter - 2005