Type Reconstruction with First-Class Polymorphic Values (1989)

by James William O'Toole, Jr., David K. Gifford