The design of a class mechanism for Moby
- 1 May 1999
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 34 (5) , 37-49
- https://doi.org/10.1145/301618.301638
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- Privacy via SubsumptionInformation and Computation, 2002
- Local type inferencePublished by Association for Computing Machinery (ACM) ,1998
- A syntactic theory of type generativity and sharingJournal of Functional Programming, 1996
- Simple objects for Standard MLPublished by Association for Computing Machinery (ACM) ,1996
- A type-theoretic approach to higher-order modules with sharingPublished by Association for Computing Machinery (ACM) ,1994
- A type system for prototyping languagesPublished by Association for Computing Machinery (ACM) ,1994
- Subtyping recursive typesACM Transactions on Programming Languages and Systems, 1993
- Inheritance is not subtypingPublished by Association for Computing Machinery (ACM) ,1990
- A Proposal for Making Eiffel Type-safeThe Computer Journal, 1989
- Modules for standard MLPublished by Association for Computing Machinery (ACM) ,1984