language 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)