Stefan Kaes. Type Inference in the Presence of Overloading, Subtyping and Recursive Types. In Proc. ACM Conf. on LISP and Functional Programming (LFP), San Francisco, California, also in LISP Pointers, Vol. V, Number 1, January-March 1992, Pages 193-204, June 1992.
[ Parametricity ]
@InProceedings{kaes92,
Author = {Kaes, Stefan},
Title = {Type Inference in the Presence of Overloading, Subtyping and Recursive Types},
BookTitle = {Proc. ACM Conf. on LISP and Functional Programming (LFP), San Francisco, California},
Pages = {193--204},
Publisher = {ACM Press},
Month = {June},
Year = {1992}
}
Get EndNote Reference (.ref)