HMF: Simple Type Inference for First-Class Polymorphism

Daan Leijen

Details

Publication typeTechReport
NumberMSR-TR-2007-118
Pages15
InstitutionMicrosoft Research
> Publications > HMF: Simple Type Inference for First-Class Polymorphism