KL1

Kernel Language 1

An experimental AND-parallel version of KL0 for the ICOT project, Japan. An implementation of FGHC.

"Design of the Kernel Language for the Parallel Inference Machine", U. Kazunori et al, Computer Journal (Dec 1990).