ML with extended pattern matching and subtypes

This publication has 4 references indexed in Scilit:

• Type inference with subtypes
  Published by Association for Computing Machinery (ACM) ,1988
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• Coercion and type inference
  Published by Association for Computing Machinery (ACM) ,1984
• A Machine-Oriented Logic Based on the Resolution Principle
  Journal of the ACM, 1965