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 is a stub. You can help Wikipedia by [ ṣlocalurl: : |action=edit}} expanding it].