Skip to content

HMF: simple type inference for first-class polymorphism.

Daan Leijen

VenueAICFP
Year2008
ProceedingsICFP

Browse the full ICFP paper archive.