Flexible types: robust type inference for first-class polymorphism

Daan Leijen

Details

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