ML ^F

This publication has 17 references indexed in Scilit:

• Colored local type inference
  ACM SIGPLAN Notices, 2001
• Local type inference
  ACM Transactions on Programming Languages and Systems, 2000
• Semi-Explicit First-Class Polymorphism for ML
  Information and Computation, 1999
• Principality and decidable type inference for finite-rank intersection types
  Published by Association for Computing Machinery (ACM) ,1999
• Simple imperative polymorphism
  Higher-Order and Symbolic Computation, 1995
• Polymorphic type inference and abstract data types
  ACM Transactions on Programming Languages and Systems, 1994
• Programming objects with ML-ART an extension to ML with abstract and record types
  Published by Springer Nature ,1994
• Unification under a mixed prefix
  Journal of Symbolic Computation, 1992
• Type reconstruction with first-class polymorphic values
  ACM SIGPLAN Notices, 1989
• Polymorphic type inference and containment
  Information and Computation, 1988