re74

J. Reynolds. Towards a Theory of Type Structure. In Proc. Programming Symposium, Vol. 19, pp. 408-425, LNCS, Springer-Verlag, 1974.

Keyword

[ Parametricity ]

Contact

John C. Reynolds

BibTex Reference

@InCollection{re74,
   Author = {Reynolds, J.},
   Title = {Towards a Theory of Type Structure},
   BookTitle = {Proc. Programming Symposium},
   Volume = {19},
   Pages = {408--425},
   Series = {LNCS},
   Publisher = {Springer-Verlag},
   Year = {1974}
}

EndNote Reference [help]

Get EndNote Reference (.ref)