KFX is the
kernel language of
FX-87[?]. It was described in 'Polymorphic Effect Systems', J.M. Lucassen et al,
Proceedings of the 15th Annual ACM Conference POPL, ACM 1988, pp.47-57.
This article (or an earlier version of it) contains material from FOLDOC, used with permission.
All Wikipedia text
is available under the
terms of the GNU Free Documentation License