Flexible types: robust type inference for first-class polymorphism

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