Sources
open directory project
Help build the largest human-edited directory on the web.
Submit a site - Become an editor
Wikipedia. Licensed under the GNU Free Documentation License.
Are you an expert in this subject? Join the discussion and share your knowledge at Wikipedia.org.
Kent Recursive Calculator
From Wikipedia, the free encyclopedia
KRC (Kent Recursive Calculator) is a lazy functional language developed by David Turner in 1981 based on SASL, with pattern matching, guards and ZF expressions (now more usually called list comprehensions). Two implementations of KRC were written: David 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 a polymorphic type discipline based on that of Milner's ML.
- Functional Programming and its Applications, David A. Turner, Cambridge U Press 1982.
This article was originally based on material from the Free On-line Dictionary of Computing, which is licensed under the GFDL.
