app89

M. Abadi, B. Pierce, G. Plotkin. Faithful Ideal Models for Recursive Polymorphic Types. In Proc. 1989 IEEE 4th Annual Symp. on Logic in Computer Science (LICS), Pages 216-225, 1989.

Keyword

[ Parametricity ]

Contact

Mart\'\in Abadi
B.C. Pierce
G.D. Plotkin

BibTex Reference

@InProceedings{app89,
   Author = {Abadi, M. and Pierce, B. and Plotkin, G.},
   Title = {Faithful Ideal Models for Recursive Polymorphic Types},
   BookTitle = {Proc. 1989 IEEE 4th Annual Symp. on Logic in Computer Science (LICS)},
   Pages = {216--225},
   Publisher = {IEEE Computer Society Press},
   Year = {1989}
}

EndNote Reference [help]

Get EndNote Reference (.ref)