About: J. Roger Hindley

An Entity of Type: animal, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

J. Roger Hindley is a prominent British logician best known for the Hindley–Milner type inference algorithm. Since 1998, he has been an Honorary Research Fellow at Swansea University.

Property	Value
dbo:abstract	J. Roger Hindley is a prominent British logician best known for the Hindley–Milner type inference algorithm. Since 1998, he has been an Honorary Research Fellow at Swansea University. (en)
dbo:academicDiscipline	dbr:Logic dbr:Type_theory
dbo:almaMater	dbr:Queen's_University_Belfast
dbo:doctoralAdvisor	dbr:Ronald_Harrop
dbo:knownFor	dbr:Hindley–Milner_type_inference_algorithm
dbo:wikiPageExternalLink	https://books.google.com/books%3Fid=nDvFIwAACAAJ
dbo:wikiPageID	23323984 (xsd:integer)
dbo:wikiPageLength	2877 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1083151568 (xsd:integer)
dbo:wikiPageWikiLink	dbr:Queen's_University_Belfast dbr:United_Kingdom dbr:University_of_Bristol dbr:Penn_State_University dbc:Living_people dbc:British_logicians dbr:Logic dbc:1939_births dbr:Type_theory dbc:British_philosophers dbr:Swansea_University dbr:Logician dbr:University_of_Newcastle_upon_Tyne dbr:Transactions_of_the_American_Mathematical_Society dbr:Hindley–Milner_type_inference_algorithm dbr:Ronald_Harrop
dbp:almaMater	dbr:Queen's_University_Belfast
dbp:doctoralAdvisor	dbr:Ronald_Harrop
dbp:field	dbr:Logic dbr:Type_theory
dbp:imageSize	150 (xsd:integer)
dbp:knownFor	dbr:Hindley–Milner_type_inference_algorithm
dbp:name	J. Roger Hindley (en)
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Citation dbt:Short_description dbt:Use_dmy_dates dbt:MathGenealogy dbt:Birth-date dbt:Infobox_scientist dbt:UK-mathematician-stub
dbp:workInstitution	dbr:Swansea_University
dcterms:subject	dbc:Living_people dbc:British_logicians dbc:1939_births dbc:British_philosophers
gold:hypernym	dbr:Logician
rdf:type	owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 yago:WikicatBritishLogicians yago:WikicatBritishPhilosophers dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species schema:Person yago:WikicatLivingPeople wikidata:Q901 yago:CausalAgent100007347 yago:Expert109617867 yago:Intellectual109621545 yago:LivingThing100004258 yago:Logician110269785 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:Philosopher110423589 yago:PhysicalEntity100001930 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Whole100003553 umbel-rc:Scientist
rdfs:comment	J. Roger Hindley is a prominent British logician best known for the Hindley–Milner type inference algorithm. Since 1998, he has been an Honorary Research Fellow at Swansea University. (en)
rdfs:label	J. Roger Hindley (en)
owl:sameAs	freebase:J. Roger Hindley yago-res:J. Roger Hindley http://d-nb.info/gnd/1145587267 https://dblp.org/pid/55/5513 http://viaf.org/viaf/85223942 wikidata:J. Roger Hindley http://data.bibliotheken.nl/id/thes/p068898053 https://global.dbpedia.org/id/4o975
prov:wasDerivedFrom	wikipedia-en:J._Roger_Hindley?oldid=1083151568&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:J._Roger_Hindley
foaf:name	J. Roger Hindley (en)
is dbo:wikiPageRedirects of	dbr:Roger_Hindley dbr:J._R._Hindley
is dbo:wikiPageWikiLink of	dbr:Programming_language_theory dbr:Hindley–Milner_type_system dbr:Hindley_(surname) dbr:Type_inference dbr:Roger_Hindley dbr:J._R._Hindley
is foaf:primaryTopic of	wikipedia-en:J._Roger_Hindley