Properties (61)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:physicist
|
| gptkbp:affiliation |
gptkb:Microsoft_Research
|
| gptkbp:author |
gptkb:Philip_Wadler
|
| gptkbp:awards |
Royal_Society_Fellow
|
| gptkbp:birthDate |
1965-01-30
|
| gptkbp:children |
2
|
| gptkbp:contributedTo |
Research on Domain-Specific Languages
Research on Higher-Order Functions Research on Lazy Evaluation Research on Lazy Evaluation Strategies Research on Monads Research on Type Classes Research on Type Inference Research on Type Safety Research on Type-Driven Development Research_on_Software_Verification Research_on_Algebraic_Data_Types Research_on_Compiler_Optimization Research_on_Concurrency_in_Haskell Research_on_Functional_Programming_Paradigms Research_on_Functional_Programming_Techniques Research_on_Functional_Reactive_Programming Research_on_Language_Design Research_on_Parallelism_in_Haskell Research_on_Pattern_Matching Research_on_Program_Transformation Research_on_Programming_Language_Theory Research_on_Software_Architecture Research_on_Software_Configuration_Management Research_on_Software_Development_Environments Research_on_Software_Development_Frameworks Research_on_Software_Development_Methodologies Research_on_Software_Development_Practices Research_on_Software_Development_Processes Research_on_Software_Development_Tools Research_on_Software_Documentation Research_on_Software_Engineering Research_on_Software_Maintenance Research_on_Software_Metrics Research_on_Software_Performance Research_on_Software_Quality_Assurance Research_on_Software_Reliability Research_on_Software_Security Research_on_Software_Testing Research_on_Software_Usability |
| gptkbp:contribution |
gptkb:GHC_(Glasgow_Haskell_Compiler)
|
| gptkbp:education |
gptkb:University_of_Cambridge
|
| gptkbp:field |
Functional_Programming
|
| https://www.w3.org/2000/01/rdf-schema#label |
Simon Peyton Jones
|
| gptkbp:influenced |
Functional_Programming_Community
|
| gptkbp:influencedBy |
gptkb:John_Hughes
|
| gptkbp:knownFor |
Haskell_Programming_Language
|
| gptkbp:locatedIn |
gptkb:Cambridge,_England
|
| gptkbp:nationality |
British
|
| gptkbp:notableWork |
gptkb:Haskell_98
Haskell 2010 Haskell Language Report |
| gptkbp:researchInterest |
Programming Languages
Compiler_Design Type_Systems |
| gptkbp:spouse |
Catherine_Jones
|