Ignore this box please.
More
Settings
Goodies
About
Help
Feedback
PRIVACY
DontTrack
DontBubble
Policy
COMMUNITY
Platform
Forum
Chat
Spread
Search syntax
s:d sort by date
r:uk uk region
site: domain search
\ search first result
More...
r:n turn off region
!a search search amazon
site:uk uk pages
f: find files
t: within title
b: within body
More explanation...
Philip Wadler
Philip Wadler is a computer scientist known for his contributions to programming language design and type theory.
More at Wikipedia
| Official site:
homepages.inf.ed.ac.uk
Fellows of St Cross College, Oxford
Members of Oxford University Computing Laboratory
More related topics
Functional programming
Computer science writers
American textbook writers
Programming language researchers
Formal methods people
Academic journal editors
British computer scientists
Scientists at Bell Labs
Academics of the University of Glasgow
American expatriates in the United Kingdom
Fellows of the Association for Computing Machinery
Academics of the University of Edinburgh
Carnegie Mellon University alumni
Fellows of the Royal Society of Edinburgh
This page requires Javascript.Get the non-JS version
here
.
Philip Wadler
homepages.inf.ed.ac.uk/wadler/
More results