Gi ord. Type reconstruction with rst-class polymorphic values (1989)

by K David
Venue:In Proceedings of the SIGPLAN'89 Conference on Programming Language Design and Implementation