Type reconstruction with first-class polymorphic values (1989)

by David K Gifford
Venue:In SIGPLAN ’89 Conference on Programming Language Design and Implementation