R. Stansifer. Type Inference with Subtypes. In Proc. 15th ACM Symp. on Principles of Programming Languages, Pages 88-97, San Diego, California, January 1988.
[ Parametricity ]
@InProceedings{stansifer88,
Author = {Stansifer, R.},
Title = {Type Inference with Subtypes},
BookTitle = {Proc. 15th ACM Symp. on Principles of Programming Languages},
Pages = {88--97},
Address = {San Diego, California},
Month = {January},
Year = {1988}
}
Get EndNote Reference (.ref)