Local type inference (1998)

by Benjamin C Pierce, David N Turner
Venue:In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ’98