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

FX-90

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

   (1995-01-31)