Book Notes
Religion
The Spirit of the Liturgy
Software
SSA-based Compiler Design
Partial Evaluation and Automatic Program Generation