Local Type Inference. (1998)

by B C Pierce, D N Turner
Venue:In Proc. 25th ACM Symposium on Principles of Programming Languages,