Compiler-directed Type Reconstruction for Polymorphic Languages (1993)

by Shail Aditya
Venue:In Proceedings of the ACM Conference on Functional Programming Languages and Computer Architecture