Type inference with constrained types

This publication has 12 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Type classes in Haskell
  ACM Transactions on Programming Languages and Systems, 1996
• Efficient Inference of Object Types
  Information and Computation, 1995
• Sound polymorphic type inference for objects
  ACM SIGPLAN Notices, 1995
• Type Inference for Recursively Constrained Types and its Application to OOP
  Electronic Notes in Theoretical Computer Science, 1995
• Constraint logic programming: a survey
  The Journal of Logic Programming, 1994
• Type inclusion constraints and type inference
  Published by Association for Computing Machinery (ACM) ,1993
• An ideal model for recursive polymorphic types
  Information and Control, 1986
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• A Machine-Oriented Logic Based on the Resolution Principle
  Journal of the ACM, 1965