Topics in programming language theory