Open and closed scopes for constrained genericity

This publication has 19 references indexed in Scilit:

• Flexible type analysis
  Published by Association for Computing Machinery (ACM) ,1999
• Dynamic typing for distributed programming in polymorphic languages
  ACM Transactions on Programming Languages and Systems, 1999
• Compatible genericity with run-time types for the Java programming language
  Published by Association for Computing Machinery (ACM) ,1998
• Vortex
  Published by Association for Computing Machinery (ACM) ,1996
• A type-based compiler for standard ML
  ACM SIGPLAN Notices, 1995
• On Binary Methods
  Theory and Practice of Object Systems, 1995
• Subtyping recursive types
  ACM Transactions on Programming Languages and Systems, 1993
• Inheritance as implicit coercion
  Information and Computation, 1991
• Dynamic typing in a statically typed language
  ACM Transactions on Programming Languages and Systems, 1991
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985