Y. Fuh, P. Mishra. Type Inference with Subtypes. Theoretical Computer Science (TCS), 73:155-175, 1990.
[ Parametricity ]
@article{fumi90,
Author = {Fuh, Y. and Mishra, P.},
Title = {Type Inference with Subtypes},
Journal = {Theoretical Computer Science (TCS)},
Volume = {73},
Pages = {155--175},
Year = {1990}
}
Get EndNote Reference (.ref)