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