mipl85

J. Mitchell, G. Plotkin. Abstract Types have Existential Type. In Proc. 12th ACM Symp. on Principles of Programming Languages, Pages 37-51, January 1985.

Keyword

[ Parametricity ]

Contact

J.C. Mitchell
G.D. Plotkin

BibTex Reference

@InProceedings{mipl85,
   Author = {Mitchell, J. and Plotkin, G.},
   Title = {{Abstract Types have Existential Type}},
   BookTitle = {Proc. 12th ACM Symp. on Principles of Programming Languages},
   Pages = {37--51},
   Month = {January},
   Year = {1985}
}

EndNote Reference [help]

Get EndNote Reference (.ref)