MainScienceMathLogic and Foundations › Lambda

Lambda

Edit Page
Report
Scan day: 17 February 2014 UTC
14
Virus safety - good
Description: An online introduction to the lambda calculus by Lloyd Allison, complete with a web form that will evaluate lambda expressions.
There are lazy and strict versions of the toy lambda-calculus interpreter. They both share the same input syntax and can be used on the same example lambda-calculus programs, although some programs will not work
Size: 211 chars

Contact Information

Email:
Phone&Fax:
Address:
Extended:

WEBSITE Info

Page title:Lambda Calculus
Keywords:Lambda Calculus Functional Programming FP Lazy evaluation call by need parameters strict eager evaluation Alonzo Church interpreter source code paradigms principles programming language implementation courseware LAllison Allison Computer Science Monash University Australia
Description:Lambda Calculus - two simple interpreters for the Lambda Calculus one strict, one lazy, with example programs that can be run via the web.
IP-address:130.194.64.145