Robby Findler’s talks
source code






source code



source code



source code






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