Kent Recursive Calculator
KRC (Kent Recursive Calculator) is a lazy functional language developed by David Turner in 1981 based on SASL, with pattern matching and ZF expressions.
Two implentations of KRC were written: Prof. Turner's original one in BCPL running on EMAS, and Simon Croft's later one in C under Unix, and KRC was the main language used for teaching functional programming at the University of Kent at Canterbury (UK) from 1982 to 1985.
The direct successor to KRC is Miranda, which includes strict polymorphic typechecking.
- Functional Programming and its Applications, David A. Turner, Cambridge U Press 1982.
This article (or an earlier version of it) contains material from FOLDOC, used with permission.
