KFX

The kernel language of FX-87.

"Polymorphic Effect Systems", J. M. Lucassen et al, Conference Record of the 15th Annual ACM Symposium on Principles of Programming Languages, ACM 1988, pp.47-57.