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
gptkb:XQuery
gptkb:Java_(generics)
gptkb:Links_(programming_language)
|
gptkbp:doctoralAdvisor
|
gptkb:Gordon_Plotkin
|
https://www.w3.org/2000/01/rdf-schema#label
|
Philip Wadler
|
gptkbp:knownFor
|
gptkb:logic
gptkb:Haskell_programming_language
functional programming
monads in programming
|
gptkbp:memberOf
|
gptkb:Royal_Society_of_Edinburgh
|
gptkbp:nationality
|
British
|
gptkbp:notablePublication
|
gptkb:Comprehending_Monads
gptkb:Theorems_for_free!
Monads for functional programming
|
gptkbp:occupation
|
gptkb:computer_scientist
|
gptkbp:thesisTitle
|
Listlessness is better than laziness: an algorithm and proof for lazy functional programs
|
gptkbp:thesisYear
|
1984
|
gptkbp:website
|
https://homepages.inf.ed.ac.uk/wadler/
|
gptkbp:workInstitution
|
gptkb:Bell_Labs
gptkb:University_of_Edinburgh
gptkb:University_of_Glasgow
gptkb:University_of_Oxford
|
gptkbp:bfsParent
|
gptkb:Haskell
|
gptkbp:bfsLayer
|
5
|