O'Toole, James William, Jr., Type Reconstruction with First Class Polymorphic Values, MIT/LCS/TM-380, 1989.

Languages mentioned

• IFX {1989}