1. 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].
kfx |
