re83

J. Reynolds. Types, Abstraction and Parametric Polymorphism. Information Processing, pages 513-523, 1983.

Keyword

[ Parametricity ]

Contact

John C. Reynolds

BibTex Reference

@article{re83,
   Author = {Reynolds, J.},
   Title = {Types, Abstraction and Parametric Polymorphism},
   Journal = {Information Processing},
   Pages = {513--523},
   Year = {1983}
}

EndNote Reference [help]

Get EndNote Reference (.ref)