Here's a book dedicated to compiling closures to C: http://t3x.org/clc/index.html http://t3x.org/clc/index.html It starts with lambda calculus and ends with c

Here's a book dedicated to compiling closures to C: http://t3x.org/clc/index.html http://t3x.org/clc/index.html It starts with lambda calculus and ends with compiling a tiny Scheme subset to portable C code.