Roger Hindley

URI: https://gptkb.org/entity/Roger_Hindley
GPTKB entity
Statements (12)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:birthYear 1933
gptkbp:doctoralAdvisor gptkb:J._Barkley_Rosser
gptkbp:employer gptkb:Swansea_University
gptkbp:field gptkb:logic
https://www.w3.org/2000/01/rdf-schema#label Roger Hindley
gptkbp:knownFor gptkb:Hindley–Milner_type_system
gptkbp:nationality British
gptkbp:notableWork gptkb:Basic_Simple_Type_Theory
gptkbp:occupation gptkb:logic
gptkbp:bfsParent gptkb:Hindley–Milner_type_system
gptkbp:bfsLayer 7