|
gptkbp:instanceOf
|
gptkb:person
|
|
gptkbp:almaMater
|
gptkb:Stanford_University
gptkb:University_of_Edinburgh
|
|
gptkbp:awardReceived
|
gptkb:Fellow_of_the_Royal_Society
Fellow of the ACM
|
|
gptkbp:birthPlace
|
gptkb:United_Kingdom
|
|
gptkbp:birthYear
|
1956
|
|
gptkbp:contributedTo
|
gptkb:Haskell_98_language_report
gptkb:Monads_in_functional_programming
|
|
gptkbp:doctoralAdvisor
|
gptkb:Gordon_Plotkin
|
|
gptkbp:employer
|
gptkb:University_of_Edinburgh
|
|
gptkbp:field
|
gptkb:logic
gptkb:programming_language
|
|
gptkbp:hasWebsite
|
https://homepages.inf.ed.ac.uk/wadler/
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Phil Wadler
|
|
gptkbp:knownFor
|
work on type systems
contributions to Haskell
contributions to Java Generics
introduction of monads to functional programming
|
|
gptkbp:memberOf
|
gptkb:Association_for_Computing_Machinery
gptkb:Royal_Society_of_Edinburgh
|
|
gptkbp:nationality
|
British
|
|
gptkbp:notableWork
|
gptkb:Haskell_programming_language
gptkb:Java_Generics
Functional programming
|
|
gptkbp:occupation
|
gptkb:computer_scientist
gptkb:professor
|
|
gptkbp:bfsParent
|
gptkb:Gordon_Plotkin
|
|
gptkbp:bfsLayer
|
6
|