Jump to : Keyword | Contact | BibTex reference | EndNote reference |

leroy92c

Xavier Leroy. Polymorphic Typing of an Algorithmic Language. Rapports de Recherche INRIA, No 1778, October 1992.

Keyword

[ Parametricity ]

Contact

Xavier Leroy

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)