KRC

Kent Recursive Calculator

David A. Turner, 1981

A lazy functional language based on SASL[1], with pattern matching, Zermelo-Frenkel expressions.

Functional Programming and its Applications, An Advanced Course, J. Darlington et al eds, Cambridge University Press, 1982.