Deriving a complete type inference for HindleyMilner and vector sizes using expansion ?
A derivation of a complete type inference algorithm from the denotational semantics. An inference for vector types of polymorphic size. Practical implementation and application of polymorphic recursion.
completeness type inference polymorphic recursion abstract interpretation vector size inference