Polymorphic Type Reconstruction (1989)

by J O'Toole, Gi ord, D K
Venue:In Proceedings of the ACM SIGPLAN Conference onProgramming Language Design and Implementation. ACM