gptkbp:instanceOf
|
gptkb:computer_scientist
|
gptkbp:almaMater
|
gptkb:Trinity_College,_Cambridge
|
gptkbp:awardReceived
|
gptkb:Fellow_of_the_Royal_Society
Fellow of the Royal Academy of Engineering
Fellow of the ACM
|
gptkbp:birthDate
|
1958-01-18
|
gptkbp:birthPlace
|
gptkb:South_Africa
|
gptkbp:coauthor
|
gptkb:Lennart_Augustsson
gptkb:John_Hughes
gptkb:Paul_Hudak
gptkb:Philip_Wadler
|
gptkbp:doctoralAdvisor
|
gptkb:David_Wheeler
|
gptkbp:employer
|
gptkb:Microsoft_Research
|
gptkbp:field
|
gptkb:programming_language
functional programming
type systems
|
https://www.w3.org/2000/01/rdf-schema#label
|
Simon Peyton Jones
|
gptkbp:knownFor
|
gptkb:Haskell
gptkb:GHC
type inference
monads in functional programming
|
gptkbp:memberOf
|
gptkb:Royal_Academy_of_Engineering
gptkb:Royal_Society
|
gptkbp:nationality
|
British
|
gptkbp:notableWork
|
gptkb:Glasgow_Haskell_Compiler
gptkb:Haskell_programming_language
|
gptkbp:occupation
|
gptkb:computer_scientist
gptkb:software_engineer
|
gptkbp:spouse
|
gptkb:Dorothy_Peyton_Jones
|
gptkbp:thesisTitle
|
gptkb:The_Implementation_of_Functional_Programming_Languages
|
gptkbp:thesisYear
|
1987
|
gptkbp:website
|
https://www.microsoft.com/en-us/research/people/simonpj/
|
gptkbp:bfsParent
|
gptkb:Haskell
gptkb:GHC
|
gptkbp:bfsLayer
|
5
|