David Wadler's Website
Ruminations on all sorts of stuff
It looks like nothing was found at this location. Maybe try one of the links below or a search?