mipl88

J. Mitchell, G. Plotkin. Abstract Types have Existential Types. ACM Trans. on Programming Languages and Systems, 10(3):470-502, 1988.

Keyword

[ Parametricity ]

Contact

J.C. Mitchell
G.D. Plotkin

BibTex Reference

@article{mipl88,
   Author = {Mitchell, J. and Plotkin, G.},
   Title = {Abstract Types have Existential Types},
   Journal = {ACM Trans. on Programming Languages and Systems},
   Volume = {10},
   Number = {3},
   Pages = {470--502},
   Year = {1988}
}

EndNote Reference [help]

Get EndNote Reference (.ref)