Microsoft Research
Microsoft Translator |
Flexible types: robust type inference for first-class polymorphism

Daan Leijen
March 2008

tr-2008-55.pdf
PDF file

Details

TypeTechReport
NumberMSR-TR-2008-55
Pages10
InstitutionMicrosoft Research
> Publications > Flexible types: robust type inference for first-class polymorphism