Michael Weber: Random Bits and Pieces

Mindless Link Propagation

Formal semantics for working programmers