Source : Free On-Line Dictionary of Computing

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