PolymorphicTypeInference
Last edit March 7, 2003
See
HindleyMilnerTypeInference
.