Author: Jan Wedekind Copyright: 2013 License: GPL
Binary Lambda Calculus virtual machine
This is how to build the project under GNU/Linux.
make -f Makefile.dist
./configure
make
...
...
The tests can be run using the following command.
make test
- Binary lambda calculus interpreter by John Tromp
- De Bruijn index
- Maru: a metacircular s-expression evaluator and compiler (also see here)
- Nile Programming Language: Declarative Stream Processing for Media Applications
- Jitblt: Efficient Run-time Code Generation for Digital Compositing
- Church encoding
- Nokolisp
- Racket Programming Language
- Revised⁶ Report on the Algorithmic Language Scheme
- Scheme implemented in Python
- Lisp as the Maxwell’s equations of software (also see here)
- STEPS Toward Espressive Programming Systems, 2011 Progress Report
- Kivy cross platform UI
- Qemu open source processor emulator
- Fisher: Control Structures for Programming Languages
- Peck: Theory Time - A pure lambda-calculus foundation for prototype-based OOP
- Sitaram: Teach Yourself Scheme in Fixnum Days
- Filinski: Declarative Continuations and Categorical Duality
- Earley parser
- Aycock: Practical Earley Parsing
- Binary numbers
- Stuart - Programming with Nothing
- Pure OO system in Scheme
- Cello - Higher level programming in C
- Delimited Continuations
- Bauer: Programming with Algebraic Effects and Handlers
- Felleisen: The theory and practice of first-class prompts