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.

---

This article (or an earlier version of it) contains material from FOLDOC, used with permission.