Skip to content

Encoding Types in ML-Like Languages.

Zhe Yang

VenueAICFP
Year1998
ProceedingsICFP

Browse the full ICFP paper archive.