Behavioral Software Contracts [youtube] [source]
ICFP 2014
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

The programmer, like the poet, works only slightly removed from pure thought-stuff.”
—Fredrick Brooks


The poet's eye, in a fine frenzy rolling, / Doth glance from heaven to earth, from earth to heaven; / And, as imagination bodies forth / The forms of things unknown, the poet's pen / Turns them to shapes, and gives to airy nothing / A local habitation and a name.”
—William Shakespeare