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