Jonathan Eifrig, Scott Smith, Valery Trifonov. Sound Polymorphic Type Inference for Objects. In Proc.\ 10th Annual Conf.\ on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), Austin, Texas, ACM SIGPLAN Notices, Vol. 30, Pages 169-184, October 1995.
[ Parametricity ]
Jonathan Eifrig
Scott F Smith
Valery Trifonov
@InProceedings{eismtr95b,
Author = {Eifrig, Jonathan and Smith, Scott and Trifonov, Valery},
Title = {Sound Polymorphic Type Inference for Objects},
BookTitle = {Proc.\ 10th Annual Conf.\ on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), Austin, Texas},
Number = {10},
Pages = {169--184},
Series = {ACM SIGPLAN Notices, Vol. 30},
Publisher = {ACM Press},
Month = {October},
Year = {1995}
}
Get EndNote Reference (.ref)