text: KRC。KRC有兩種主要實現：David Turner的最初實現用BCPL寫成並運行於，Simon J. Croft的後來實現用C寫成並運行於Unix。KRC在1982年至1985年期間是在坎特伯雷的肯特大學用於教授函數語言程式設計的主要語言。KRC的直接後繼者是Miranda，它包括了基於Milner的ML的一種多型型別規矩。
metadata: erhwenkuo/wikipedia-zhtw
metadata: 肯特遞迴計算器
metadata: https://zh.wikipedia.org/wiki?curid=7397706