Lambda VM
Lambda calculus is not only an abstract calculus, but an Abstract VM: a kind of calculus of very basic abstraction. It was invented even before Turing Machines, also as a universal computational framework. Check pages and books about functional programming, functional programming languages, computer science laboratories, theoretical computer science research, etc, for more about lambda calculus.A few pointers:
- See the series of "Lambda, The Ultimate FOO" articles. In the original ones by GLS, FOO={ Imperative | Declarative | Goto | Opcode }. They are available among other classic hits from MIT AI lab publications.
- On the "Lambda, The Ultimate FOO" trend, FOO has also been { software tool | label | combinator | little language }.
- This article by Jonathan Rees: W7, a security kernel based on the Lambda Calculus, could have been called "Lambda, the ultimate capability". See Rees's PhD Thesis. Similarly the Tube could have been "Lambda, the ultimate mobile code".
- Finally, James Crippen collected fortune cookies that have the Lambda nature, many of which are but exerpts from Alan Perlis' Epigrams in Programming".
- Several programming languages have a strong basis in the lambda-calculus, including:
This page is linked from: Capability Lambda Calculus