Kent Recursive Calculator
Miranda |
|---|
KRC (Kent Recursive Calculator) is a
list comprehensions
).
Two implementations of KRC were written: David Turner's original one in BCPL running on EMAS, and Simon J. 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
.
References
- ^ Dates in the commentary to the BCPL KRC source code for EMAS.
- ^ This article is based on material taken from Kent+Recursive+Calculator at the Free On-line Dictionary of Computing prior to 1 November 2008 and incorporated under the "relicensing" terms of the GFDL, version 1.3 or later.
Further reading
- Functional Programming and its Applications, David A. Turner, Cambridge U Press 1982.
- Turner, D.A. (1981). "The semantic elegance of Applicative Languages". Proceedings of the 1981 Conference on Functional Programming Languages and Computer Architecture. ISBN 0-89791-060-5.
External links
- KRC's home page with a free implementation for Unix systems
 | This programming-language-related article is a stub. You can help Wikipedia by expanding it. |