KRC(ID:959/krc001)

Kent Recursive Calculator 

for Kent Recursive Calculator.

Turner 1981. Lazy functional language based on SASL, with pattern matching, ZF expressions.

KRC is fairly closely based on the earlier language SASL, [Turner 763], but I have added a facility for set abstraction.

Places
Structures:
Related languages
SASL (2nd version) => KRC   Evolution of
KRC => Miranda   Evolution of
References:
  • Turner, D. A. "The semantic elegance of applicative languages" view details
          in Proceedings of the 1981 conference on Functional programming languages and computer architecture 1981 , Portsmouth, New Hampshire, United States view details
  • Turner, David A. "Functional Programming and its Applications", Cambridge U Press 1982. view details
          in Proceedings of the 1981 conference on Functional programming languages and computer architecture 1981 , Portsmouth, New Hampshire, United States view details