["Type Reconstruction with First-Class Polymorphic Values", J. O'Toole et al, SIGPLAN Notices 24(7):207-217 (Jul 1989)].
Try this search on Wikipedia, OneLook, Google
Nearby terms: IFIP « IFP « IFS « IFX » If you want X, you know where to find it. » IGC » IGES
