• Summary
• Related Documents
  • Active Bibliography
  • Co-citation
• Version History

Abstract:

We present full of the properties about HM(X). HM(X) is a general framework for Hindley/Milner type systems with constraints. Specific type systems can be obtained by instantiating the constraint parameter X. For instance, the Hindley/Milner type system itself can be obtained by instantiating X to the Herbrand constraint system. We give a generic type infernce algorithm for HM(X) type systems. Under sufficient condition on X we obtain type inference with principal types.

Citations

No citations identified.