The Eighth Annual ICFP Programming Contest
ICFP Tallinn, Estonia 9/2005
Contracts and Subtyping
National Taiwan Normal University 12/2003
Late Binding for Software Contracts
Brown University 10/2003
Scheme & FP
/
ECOOP’08
/
ML’08
However shining the blade, however jeweled the hilt, however perfect the heft, a sword is tested only by cutting. That swordsmith is successful whose clients die of old age.
—Fred Brooks,
The Computer Scientist as Toolsmith, II
