Notes on programming language theory.