The Free On-line Dictionary of Computing (19 January 2023):

Kent Recursive Calculator
KRC

    (KRC) A lazy functional language
   developed by David Turner in 1981, based on SASL,
   with pattern matching and ZF expressions.

   ["Functional Programming and its Applications",
   David A. Turner, Cambridge U Press 1982].

   See also continental drift.

   (2011-11-30)