My interests are in programming languages generally, but mainly in programming language theory and functional programming. My students and I are engaged in research primarily in two topics right now: partial evaluation and functional-style domain-specific languages. I also have a student working on Java compilation.