The Free On-line Dictionary of Computing (19 January 2023):

IFX

   ["Type Reconstruction with First-Class Polymorphic Values",
   J. O'Toole et al, SIGPLAN Notices 24(7):207-217 (Jul 1989)].