Efficient type inference for higherorder binding-time analysis (1991)

by F Henglein
Venue:In Proc, Conf. on Functional Programming Languages and Computer Architecture (FPCA)l