cardelli87

L. Cardelli. Basic Polymorphic Type Checking. Science of Computer Programming, 8:147-172, 1987.

Keyword

[ Parametricity ]

Contact

L. Cardelli

BibTex Reference

@article{cardelli87,
   Author = {Cardelli, L.},
   Title = {Basic Polymorphic Type Checking},
   Journal = {Science of Computer Programming},
   Volume = {8},
   Pages = {147--172},
   Year = {1987}
}

EndNote Reference [help]

Get EndNote Reference (.ref)