Properties (11)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Person
|
| gptkbp:hasAffiliation |
gptkb:University_of_Edinburgh
|
| gptkbp:hasFieldOfUse |
Computer Science
|
| gptkbp:hasOccupation |
Professor
|
| gptkbp:hasPublications |
gptkb:The_Haskell_School_of_Expression
gptkb:Functional_Programming_in_Haskell A_New_Approach_to_Programming_Language_Design |
| gptkbp:hasResearchInterest |
Formal Methods
Programming Languages Software Engineering |
| https://www.w3.org/2000/01/rdf-schema#label |
Professor John G. Hughes
|