Skip to content

Hindley-milner elaboration in applicative style: functional pearl.

Franois Pottier

VenueAICFP
Year2014
ProceedingsICFP

Browse the full ICFP paper archive.