A theory of primitive objects

This publication has 5 references indexed in Scilit:

• A lambda calculus of objects and method specialization
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Coherence of subsumption, minimum typing and type-checking in F ≤
  Mathematical Structures in Computer Science, 1992
• An ideal model for recursive polymorphic types
  Information and Control, 1986
• Automatic synthesis of typed Λ-programs on term algebras
  Theoretical Computer Science, 1985
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985