Xavier Leroy. Polymorphic Typing of an Algorithmic Language. Rapports de Recherche INRIA, No 1778, October 1992.
[ Parametricity ]
@TechReport{leroy92c,
Author = {Leroy, Xavier},
Title = {Polymorphic Typing of an Algorithmic Language},
Number = {1778},
Institution = {INRIA},
Address = {Domaine de Voluceau, Rocquencourt, B.P. 105, 78153 Le Chesnay Cedex, France},
Month = {October},
Year = {1992}
}
Get EndNote Reference (.ref)