Y. Fuh, P. Mishra. Type Inference with Subtypes. In Proc. 2nd European Symp. on Programming, Lecture Notes in Computer Science 300, Pages 94-114, 1988.
[ Parametricity ]
@InProceedings{fumi88,
Author = {Fuh, Y. and Mishra, P.},
Title = {Type Inference with Subtypes},
BookTitle = {Proc. 2nd European Symp. on Programming},
Pages = {94--114},
Publisher = {Springer-Verlag},
Year = {1988}
}
Get EndNote Reference (.ref)