Proofs of Properties about HM ( X )

We present full of the properties about HM(X). HM(X) is a general framework for Hindley/Milner type systems with constraints. Speciic 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… (More)