J. Roger Hindley

URI: https://gptkb.org/entity/J._Roger_Hindley
GPTKB entity
Statements (14)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:author gptkb:Basic_Simple_Type_Theory
gptkbp:birthYear 1939
gptkbp:employer gptkb:Swansea_University
gptkbp:field gptkb:lambda_calculus
gptkb:logic
https://www.w3.org/2000/01/rdf-schema#label J. Roger Hindley
gptkbp:knownFor gptkb:Hindley–Milner_type_system
work in lambda calculus
gptkbp:nationality British
gptkbp:occupation gptkb:logic
gptkb:mathematician
gptkbp:bfsParent gptkb:Haskell_Brooks_Curry
gptkbp:bfsLayer 6