leroy92b

Xavier Leroy. Typage polymorphe d'un langage algorithmique. PhD Thesis University Paris VII, June 1992.

Keyword

[ Parametricity ]

Contact

Xavier Leroy

BibTex Reference

@PhdThesis{leroy92b,
   Author = {Leroy, Xavier},
   Title = {Typage polymorphe d'un langage algorithmique},
   School = {University Paris VII},
   Month = {June},
   Year = {1992}
}

EndNote Reference [help]

Get EndNote Reference (.ref)