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