mi84b

J. Mitchell. Coercion and Type Inference. In Proc. 11th ACM Symp. on Principles of Programming Languages (POPL), 1984.

Keyword

[ Parametricity ]

Contact

J.C. Mitchell

BibTex Reference

@InProceedings{mi84b,
   Author = {Mitchell, J.},
   Title = {Coercion and Type Inference},
   BookTitle = {Proc. 11th ACM Symp. on Principles of Programming Languages (POPL)},
   Year = {1984}
}

EndNote Reference [help]

Get EndNote Reference (.ref)