limi92

P. Lincoln, J. Mitchell. Algorithmic Aspects of Type Inference with Subtypes. In Proc. 19th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programmin Languages (POPL), Albuquerque, New Mexico, Pages 293-304, January 1992.

Keyword

[ Parametricity ]

Contact

P. Lincoln
J.C. Mitchell

BibTex Reference

@InProceedings{limi92,
   Author = {Lincoln, P. and Mitchell, J.},
   Title = {Algorithmic Aspects of Type Inference with Subtypes},
   BookTitle = {Proc. 19th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programmin Languages (POPL), Albuquerque, New Mexico},
   Pages = {293--304},
   Publisher = {ACM Press},
   Month = {January},
   Year = {1992}
}

EndNote Reference [help]

Get EndNote Reference (.ref)