otgi89

J. O'Toole Jr, D. Gifford. Type Reconstruction with First-Class Polymorphic Values. In Proc. SIGPLAN '89 Conf. on Programming Language Design and Implementation, Pages 207-217, June 1989.

Keyword

[ Parametricity ]

Contact

J. O'Toole Jr.
D. Gifford

BibTex Reference

@InProceedings{otgi89,
   Author = {O'Toole Jr, J. and Gifford, D.},
   Title = {Type Reconstruction with First-Class Polymorphic Values},
   BookTitle = {Proc. SIGPLAN '89 Conf. on Programming Language Design and Implementation},
   Pages = {207--217},
   Publisher = {ACM Press},
   Month = {June},
   Year = {1989}
}

EndNote Reference [help]

Get EndNote Reference (.ref)