I'm interested in programming language theory.