scedrov88

A. Scedrov. A Guide to Polymorphic Types. In Logic and Computer Science, Lecture Notes in Mathematics, Vol. 1429, Pages 111-150, 1988.

Keyword

[ Parametricity ]

Contact

A. Scedrov

BibTex Reference

@InProceedings{scedrov88,
   Author = {Scedrov, A.},
   Title = {A Guide to Polymorphic Types},
   BookTitle = {Logic and Computer Science},
   Pages = {111--150},
   Publisher = {Springer-Verlag},
   Year = {1988}
}

EndNote Reference [help]

Get EndNote Reference (.ref)