PhilipWadler
Last edit December 18, 2005
Philip Wadler - Home page at
http://homepages.inf.ed.ac.uk/wadler/
One of the principal designers of the
HaskellLanguage
and of
GenericJava
. He did research on ways to extend the classic
HindleyMilner
type systems.
Author of several introductory papers
OnMonads
(
http://homepages.inf.ed.ac.uk/wadler/topics/monads.html
) and on
LinearLogic
and
IntuitionisticLogic
(see
IsFkkActuallyTrue
).
Maintains a list of applications of
FunctionalProgrammingInTheRealWorld
and a
GuideToFunctionalProgrammingOnTheWeb
(
http://homepages.inf.ed.ac.uk/wadler/guide.html
).
Wears the most outlandish clothes ever seen on a greying Jewish guy.
except when he takes his shirt off --
ShaeErisson
which he does with predictable regularity -- a fresher student of his
CategoryPerson