Books

2017-08-05

Ignore. This is kind of like a todo/wish list. Or maybe never.

Term Rewriting Systems
Term Rewriting and All That
Constraint Processing
The Art of Computer Programming
Compilers: Principles, Techniques, and Tools ("dragon book")