http://dbpedia.org/ontology/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.
|
http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Type_theory +
, http://dbpedia.org/resource/Logic +
|
http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/Queen%27s_University_Belfast +
|
http://dbpedia.org/ontology/doctoralAdvisor
|
http://dbpedia.org/resource/Ronald_Harrop +
|
http://dbpedia.org/ontology/knownFor
|
http://dbpedia.org/resource/Hindley%E2%80%93Milner_type_inference_algorithm +
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
https://books.google.com/books%3Fid=nDvFIwAACAAJ +
|
http://dbpedia.org/ontology/wikiPageID
|
23323984
|
http://dbpedia.org/ontology/wikiPageLength
|
2877
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1083151568
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:1939_births +
, http://dbpedia.org/resource/Category:British_logicians +
, http://dbpedia.org/resource/United_Kingdom +
, http://dbpedia.org/resource/Category:British_philosophers +
, http://dbpedia.org/resource/Logic +
, http://dbpedia.org/resource/Logician +
, http://dbpedia.org/resource/Ronald_Harrop +
, http://dbpedia.org/resource/Swansea_University +
, http://dbpedia.org/resource/University_of_Newcastle_upon_Tyne +
, http://dbpedia.org/resource/Queen%27s_University_Belfast +
, http://dbpedia.org/resource/Hindley%E2%80%93Milner_type_inference_algorithm +
, http://dbpedia.org/resource/University_of_Bristol +
, http://dbpedia.org/resource/Penn_State_University +
, http://dbpedia.org/resource/Type_theory +
, http://dbpedia.org/resource/Transactions_of_the_American_Mathematical_Society +
|
http://dbpedia.org/property/almaMater
|
http://dbpedia.org/resource/Queen%27s_University_Belfast +
|
http://dbpedia.org/property/doctoralAdvisor
|
http://dbpedia.org/resource/Ronald_Harrop +
|
http://dbpedia.org/property/field
|
http://dbpedia.org/resource/Type_theory +
, http://dbpedia.org/resource/Logic +
|
http://dbpedia.org/property/imageSize
|
150
|
http://dbpedia.org/property/knownFor
|
http://dbpedia.org/resource/Hindley%E2%80%93Milner_type_inference_algorithm +
|
http://dbpedia.org/property/name
|
J. Roger Hindley
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Citation +
, http://dbpedia.org/resource/Template:Birth-date +
, http://dbpedia.org/resource/Template:Use_dmy_dates +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:MathGenealogy +
, http://dbpedia.org/resource/Template:UK-mathematician-stub +
|
http://dbpedia.org/property/workInstitution
|
http://dbpedia.org/resource/Swansea_University +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:British_philosophers +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:1939_births +
, http://dbpedia.org/resource/Category:British_logicians +
|
http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Logician +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/J._Roger_Hindley?oldid=1083151568&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/J._Roger_Hindley +
|
http://xmlns.com/foaf/0.1/name
|
J. Roger Hindley
|
owl:sameAs |
http://www.wikidata.org/entity/Q6106975 +
, http://rdf.freebase.com/ns/m.065zlr3 +
, http://d-nb.info/gnd/1145587267 +
, http://dbpedia.org/resource/J._Roger_Hindley +
, http://viaf.org/viaf/85223942 +
, https://dblp.org/pid/55/5513 +
, http://yago-knowledge.org/resource/J._Roger_Hindley +
, https://global.dbpedia.org/id/4o975 +
, http://data.bibliotheken.nl/id/thes/p068898053 +
|
rdf:type |
http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://www.wikidata.org/entity/Q901 +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/ontology/Animal +
, http://schema.org/Person +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/ontology/Eukaryote +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/ontology/Scientist +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://www.wikidata.org/entity/Q729 +
, http://www.wikidata.org/entity/Q5 +
, http://dbpedia.org/class/yago/Intellectual109621545 +
, http://dbpedia.org/class/yago/Scholar110557854 +
, http://dbpedia.org/class/yago/Expert109617867 +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://dbpedia.org/class/yago/Philosopher110423589 +
, http://umbel.org/umbel/rc/Scientist +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/WikicatLivingPeople +
, http://dbpedia.org/class/yago/WikicatBritishLogicians +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/class/yago/WikicatBritishPhilosophers +
, http://dbpedia.org/class/yago/Person100007846 +
, http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/class/yago/Logician110269785 +
|
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.
|
rdfs:label |
J. Roger Hindley
|