Simple objects for Standard ML

This publication has 15 references indexed in Scilit:

• Covariance and contravariance
  ACM Transactions on Programming Languages and Systems, 1995
• A language with distributed scope
  Published by Association for Computing Machinery (ACM) ,1995
• Separate compilation for Standard ML
  Published by Association for Computing Machinery (ACM) ,1994
• A paradigmatic object-oriented programming language: Design, static typing and semantics
  Journal of Functional Programming, 1994
• Object-oriented programming without recursive types
  Published by Association for Computing Machinery (ACM) ,1993
• A Proposal for Making Eiffel Type-safe
  The Computer Journal, 1989
• Self: The power of simplicity
  Published by Association for Computing Machinery (ACM) ,1987
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• Coercion and type inference
  Published by Association for Computing Machinery (ACM) ,1984
• Type definitions with parameters
  Published by Association for Computing Machinery (ACM) ,1978