Calculadora recursiva de Kent

KRC (Kent Recursive Calculator) es un lenguaje funcional perezoso desarrollado por David Turner entre noviembre de 1979 y octubre de 1981 basado en SASL, con coincidencia de patrones, guardias y expresiones ZF (ahora más comúnmente llamado listas de comprensión). Se escribieron dos implementaciones de KRC: la original de David Turner en BCPL que se ejecuta en EMAS, y la posterior de Simon J. Croft en C bajo Unix, y KRC era el lenguaje principal utilizado para enseñar programación funcional en el Universidad de Kent en Canterbury (Reino Unido) de 1982 a 1985.

El sucesor directo de KRC es Miranda, que incluye una disciplina de tipo polimórfico basada en la de ML de Milner.