Tumblr for R&D of lucille renderer.

This is my tumblelog for my lucille renderer.
Scraps, notes, quotes and etc. found on the web which is valuable for renderer development(and some quantitative finance).

Feb 21
“The Lambda Tamer project tackles the issues surrounding computer formalization of programming languages and their tools, based around the Coq proof assistant. The Lambda Tamer methodology centers on dependently-typed abstract syntax and foundational type-theoretic semantics. The main project output is a library of Coq definitions, theorems, and tactics in support of building certified compilers for HOT (higher-order typed) languages.” Lambda Tamer
Posted at 11:37 PM
Source: ltamer.sourceforge.net