Semantics Engineering: more than just Theorem Proving [fool2010-hw.rkt]
Foundations of Object-Oriented Languages 10/2010

Contracts in Racket
Scheme and Functional Programming 8/2010

Macros Matter [local] [youtube] [slides] [hdl code]
Northwestern University 11/2009
Flourish 3/2010

The Eighth Annual ICFP Programming Contest
ICFP Tallinn, Estonia 9/2005

Contracts and Subtyping
National Taiwan Normal University 12/2003
Brown University 10/2003