The Free On-line Dictionary of Computing (30 December 2018):

KFX

    The kernel language of FX-87.

   ["Polymorphic Effect Systems", J.M. Lucassen et al, Proc 15th
   Ann ACM Conf POPL, ACM 1988, pp.47-57].

   (1995-02-15)