|
|||||
|
|
Algorithms, the λ calculus and programming |
|
| Authors: | Abhijat Vichare |
| Institution: | 151. C3/701 Kumar Parisar Society, Near Gandhi Bhavan Kothrud, Pune, 411038, India |
| Abstract: | 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. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |