HindleyMilner
Last edit July 29, 2003
See
HindleyMilnerTypeInference
.