Algorithms, The lambda Calculus and Programming

被引：0

作者：

Vichare, Abhijat ^{[1
]}

机构：

[1] Computat Res Labs, Pune, Maharashtra, India

来源：

RESONANCE-JOURNAL OF SCIENCE EDUCATION | 2013年 / 18卷 / 04期

关键词：

lambda calculus; functional programming; scheme;

D O I：

10.1007/s12045-013-0051-1

中图分类号：

G40 [教育学];

学科分类号：

040101 ; 120403 ;

摘要：

I develop the intuition behind the, calculus and connect it to computer programming through some basic examples. This fills an often felt gap that teachers and students find between the formal structure of the, calculus, and the principles and practice of functional programming.

引用

页码：345 / 367

页数：23