Extending ML with semi-explicit higher-order polymorphism

This publication has 11 references indexed in Scilit:

• Typability and type checking in the second-order λ-calculus are equivalent and undecidable
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Objective ML
  Published by Association for Computing Machinery (ACM) ,1997
• Putting type annotations to work
  Published by Association for Computing Machinery (ACM) ,1996
• Polymorphic type inference and abstract data types
  ACM Transactions on Programming Languages and Systems, 1994
• A direct algorithm for type inference in the rank-2 fragment of the second-order λ-calculus
  Published by Association for Computing Machinery (ACM) ,1994
• Programming objects with ML-ART an extension to ML with abstract and record types
  Published by Springer Nature ,1994
• Dynamics in ML
  Published by Springer Nature ,1991
• Polymorphic type inference and containment
  Information and Computation, 1988
• Partial polymorphic type inference and higher-order unification
  Published by Association for Computing Machinery (ACM) ,1988
• Principal type-schemes for functional programs
  Published by Association for Computing Machinery (ACM) ,1982