ca85

L. Cardelli. Basic Polymorphic Typechecking. Polymorphism, 2(1), January 1985.

Keyword

[ Parametricity ]

Contact

L. Cardelli

BibTex Reference

@article{ca85,
   Author = {Cardelli, L.},
   Title = {Basic Polymorphic Typechecking},
   Journal = {Polymorphism},
   Volume = {2},
   Number = {1},
   Month = {January},
   Year = {1985}
}

EndNote Reference [help]

Get EndNote Reference (.ref)