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

FX-90

    A language with partial type and effect
   reconstruction and first-class modules.

   (1995-01-31)