http://www.cs.brown.edu/~pw/
(Co-)Author of the papers OnUnderstandingTypes (with LucaCardelli), TowardsEmpiricalComputerScience, "The Paradigm Shift from Algorithms to Interaction" (see AlgorithmsOrInteraction), which are available from his home page.
CategoryAuthor