Statements (83)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Computer_Scientist
|
| gptkbp:affiliation |
gptkb:Galois,_Inc.
gptkb:University_of_Edinburgh |
| gptkbp:award |
gptkb:Haskell_Community_Award
ACM Fellow Royal Society Fellow |
| gptkbp:birth_date |
1967-01-01
|
| gptkbp:birth_place |
gptkb:United_States
|
| gptkbp:contribution |
work on the theory of programming language concurrency
work on the theory of programming language performance work on the theory of programming language verification work on the theory of programming language maintainability work on the theory of programming language evolution work on the theory of programming language reliability work on the theory of programming language optimization work on the theory of programming language simplicity work on the theory of programming language interoperability work on the theory of programming language profiling work on the theory of programming language semantics work on the theory of programming language expressiveness work on the theory of programming language parallelism work on the theory of programming language extensibility design of GHC design of the Haskell language development of monads in functional programming development of type classes work on the theory of programming language standardization work on the theory of programming language writability work on the theory of programming language aesthetics work on functional reactive programming work on program transformation work on the Curry-Howard correspondence work on the design of functional languages work on the foundations of functional programming work on the implementation of functional languages work on the lambda calculus work on the semantics of programming languages work on the theory of computation work on the theory of programming language beauty work on the theory of programming language clarity work on the theory of programming language design work on the theory of programming language metrics work on the theory of programming language testing work on the theory of programming languages work on the theory of type systems work on the theory of types work on type inference algorithms work on the theory of programming language modularity work on the theory of programming language debugging work on the theory of programming language usability work on the theory of programming language security work on the theory of programming language conciseness work on the theory of programming language distribution work on the theory of programming language scalability work on the theory of programming language elegance work on the theory of programming language analysis work on the theory of programming language accessibility work on the theory of programming language implementation work on the theory of programming language portability work on the theory of programming language readability work on the theory of programming language refactoring |
| gptkbp:education |
gptkb:Harvard_University
gptkb:University_of_Cambridge |
| gptkbp:field |
gptkb:computer_science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Philip Wadler
|
| gptkbp:influenced |
gptkb:Simon_Peyton_Jones
gptkb:Philip_Wadler |
| gptkbp:influenced_by |
gptkb:Alonzo_Church
gptkb:Peter_Landin gptkb:John_Hughes |
| gptkbp:known_for |
gptkb:Haskell
contribution to programming languages theorems for free |
| gptkbp:notable_work |
Functional Programming
Type Systems |
| gptkbp:research_interest |
gptkb:political_theory
functional programming program verification compiler construction programming language design |
| gptkbp:website |
http://homepages.inf.ed.ac.uk/wadler/
|
| gptkbp:bfsParent |
gptkb:Haskell
|
| gptkbp:bfsLayer |
5
|