Ecient Type Inference for Higher-Order Binding-Time Analysis (1991)

by F Henglein
Venue:In 5th ACM Conference Proceedings on Functional Programming Languages and Computer Architecture