Microsoft Research
Microsoft Translator |
HMF: Simple Type Inference for First-Class Polymorphism

Daan Leijen
30 October 2007

tr-2007-118.pdf
PDF file

Details

TypeTechReport
NumberMSR-TR-2007-118
Pages15
InstitutionMicrosoft Research
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > HMF: Simple Type Inference for First-Class Polymorphism