M. Wand. Complete Type Inference for Simple Objects. In Proc. Symp. on Logic in Comp. Sci, Pages 37-44, June 1987.
[ Parametricity ]
@InProceedings{wa87,
Author = {Wand, M.},
Title = {Complete Type Inference for Simple Objects},
BookTitle = {Proc. Symp. on Logic in Comp. Sci},
Pages = {37--44},
Month = {June},
Year = {1987}
}
Get EndNote Reference (.ref)