Programming objects with ML-ART an extension to ML with abstract and record types

This publication has 12 references indexed in Scilit:

• Operations on records
  Published by Springer Nature ,2005
• A lambda calculus of objects and method specialization
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A theory of primitive objects
  Published by Springer Nature ,1994
• Type inclusion constraints and type inference
  Published by Association for Computing Machinery (ACM) ,1993
• Object-oriented programming without recursive types
  Published by Association for Computing Machinery (ACM) ,1993
• Safe type checking in a statically-typed object-oriented programming language
  Published by Association for Computing Machinery (ACM) ,1993
• Type isomorphisms in a type-assignment framework
  Published by Association for Computing Machinery (ACM) ,1992
• Wrapper semantics of an object-oriented programming language with state
  Published by Springer Nature ,1991
• A semantics of multiple inheritance
  Information and Computation, 1988
• An Efficient Unification Algorithm
  ACM Transactions on Programming Languages and Systems, 1982