Proofs of a set of hybrid let-polymorphic type inference algorithms

Saved in:
Bibliographic Details
Published inNew generation computing Vol. 22; no. 1; pp. 1 - 36
Main Authors Eo, Hyunjun, Lee, Oukseh, Yi, Kwangkeun
Format Journal Article
LanguageEnglish
Published 01.01.2004
Online AccessGet full text

Cover

More Information
ISSN:0288-3635
1882-7055
DOI:10.1007/BF03037279