Jump to : Keyword | Contact | BibTex reference | EndNote reference |

eismtr95b

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.

Keyword

[ Parametricity ]

Contact

Jonathan Eifrig
Scott F Smith
Valery Trifonov

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)