re85

J. Reynolds. Three Approaches to Type Structure. In Proc. TAPSOFT, pp. 97-138, LNCS, Springer-Verlag, 1985.

Keyword

[ Parametricity ]

Contact

John C. Reynolds

BibTex Reference

@InCollection{re85,
   Author = {Reynolds, J.},
   Title = {Three Approaches to Type Structure},
   BookTitle = {Proc. TAPSOFT},
   Pages = {97--138},
   Series = {LNCS},
   Publisher = {Springer-Verlag},
   Year = {1985}
}

EndNote Reference [help]

Get EndNote Reference (.ref)