J. Roger Hindley

URI: https://gptkb.org/entity/J._Roger_Hindley

GPTKB entity

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
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	8
http://www.w3.org/2000/01/rdf-schema#label	J. Roger Hindley