bo89

H. Boehm. Type Inference in the Presence of Type Abstraction. In Proc. SIGPLAN '89 Conf. on Programming Language Design and Implementation, Pages 192-206, June 1989.

Keyword

[ Parametricity ]

Contact

H. Boehm

BibTex Reference

@InProceedings{bo89,
   Author = {Boehm, H.},
   Title = {Type Inference in the Presence of Type Abstraction},
   BookTitle = {Proc. SIGPLAN '89 Conf. on Programming Language Design and Implementation},
   Pages = {192--206},
   Publisher = {ACM Press},
   Month = {June},
   Year = {1989}
}

EndNote Reference [help]

Get EndNote Reference (.ref)