Type systems

Notes about type systems and theory in programming language design -- one of my favorite topics