References and Links
Scheme
The Internet Scheme Repository -
http://www.cs.indiana.edu/scheme-repository/
Schemers.org -
http://www.schemers.org/
The Scheme Homepage -
http://www.swiss.ai.mit.edu/projects/scheme/index.html
The comp.lang.scheme FAQ -
http://www.faqs.org/faqs/by-newsgroup/comp/comp.lang.scheme.html
The comp.lang.functional FAQ -
http://www.faqs.org/faqs/func-lang-faq/
"Structure and Interpretation of Computer Programs"
- a very nice book that uses Scheme to illustrate many important programming principles -
http://www-mitpress.mit.edu/sicp/
The SICP Course in the Technion -
http://tiger.technion.ac.il/~ee044261/
Lambda Calculus
Lambda-Calculus, Combinators and Functional Programming
By: G.F. Revesz
ISBN: 0-521-34589-8
E-mail thread about Church Numerals operations -
ftp://ftp.cs.indiana.edu/pub/scheme-repository/doc/misc/CHURCH
Google search for Lambda Calculus (will give many useful links) -
http://www.google.com/search?q=lambda+calculus
Some Lambda Calculus by Shriram Krishnamurthi - lots of operations without using the Y combinator (!) -
shriram.scm
The DeCSS code in Lambda Calculus -
http://www-2.cs.cmu.edu/~dst/DeCSS/Gallery/css-descramble-lambda.txt
Perl Contains the Lambda-Calculus a nice page by Mark-Jason Dominus -
http://perl.plover.com/lambda/
Related Courses in Ben-Gurion University
Functional programming and Lambda Calculus -
http://www.cs.bgu.ac.il/~gmayer/courses/functional-programming/index.html
Priniciples of Programming Languages -
http://www.cs.bgu.ac.il/~elhadad/ppl.html
Advanced Topics in Programming Langauges -
http://www.cs.bgu.ac.il/~elhadad/apl-fall98.html