Kent Recursive Calculator.

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.