I'm interested in contracts and type systems for functional and object-oriented programming languages.

Currently I'm working with Sam Tobin-Hochstadt on extensions to Typed Scheme.

In the past I worked on Honu, an object-oriented language that restricted types to interfaces, which resulted in a form of programming that we called interface-oriented programming. This restriction also led to the separation of subtyping and subclassing in the language.