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!

... new geometries other than the standard Euclidean version.
The central notion in geometry is that of congruence. In Euclidean geometry, two figures are said to be ...