Programming language theory, especially functional languages, object oriented languages, and concurrency.
2009-11-01