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
Search Encyclopedia
Search over one million articles, find something about almost anything!