Jump to : Keyword | Contact | BibTex reference | EndNote reference |

kaes92

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.

Keyword

[ Parametricity ]

Contact

S. Kaes

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)