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

leivant91

D. Leivant. Finitely Stratified Polymorphism. Information and Computation, Presented at LICS '89, 93(1):93-113, July 1991.

Keyword

[ Parametricity ]

Contact

Daniel Leivant

BibTex Reference

@article{leivant91,
   Author = {Leivant, D.},
   Title = {Finitely Stratified Polymorphism},
   Journal = {Information and Computation},
   Volume = {93},
   Number = {1},
   Pages = {93--113},
   Month = {July},
   Year = {1991}
}

EndNote Reference [help]

Get EndNote Reference (.ref)