ケント大学
1972年から1976年にかけてデビット・ターナーはスコットランドのセントアンドリュース大学において（St.Anrews Static Language）という言語を設計・実装し、主に教育に用いていた。ターナーがケント大学に移ってからはこの経験を生かして新たに言語を設計・実装したが、その言語がKRC（Kent Recursive Calculator）である。KRC は1980年代にケント大学やオックスフォード大学で関数型プログラミングの講義に使用された。