Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/J._Roger_Hindley> ?p ?o }
Showing triples 1 to 78 of
78
with 100 triples per page.
- J._Roger_Hindley 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.".
- J._Roger_Hindley almaMater Queens_University_Belfast.
- J._Roger_Hindley birthDate "1938".
- J._Roger_Hindley birthYear "1938".
- J._Roger_Hindley doctoralAdvisor Ronald_Harrop.
- J._Roger_Hindley field Logic.
- J._Roger_Hindley field Type_theory.
- J._Roger_Hindley knownFor Hindley–Milner_type_system.
- J._Roger_Hindley wikiPageExternalLink ?id=nDvFIwAACAAJ.
- J._Roger_Hindley wikiPageID "23323984".
- J._Roger_Hindley wikiPageLength "2908".
- J._Roger_Hindley wikiPageOutDegree "18".
- J._Roger_Hindley wikiPageRevisionID "668917559".
- J._Roger_Hindley wikiPageWikiLink Category:1939_births.
- J._Roger_Hindley wikiPageWikiLink Category:British_logicians.
- J._Roger_Hindley wikiPageWikiLink Category:British_philosophers.
- J._Roger_Hindley wikiPageWikiLink Category:Living_people.
- J._Roger_Hindley wikiPageWikiLink Hindley–Milner_type_system.
- J._Roger_Hindley wikiPageWikiLink Logic.
- J._Roger_Hindley wikiPageWikiLink Newcastle_University.
- J._Roger_Hindley wikiPageWikiLink Queens_University_Belfast.
- J._Roger_Hindley wikiPageWikiLink Ronald_Harrop.
- J._Roger_Hindley wikiPageWikiLink Swansea_University.
- J._Roger_Hindley wikiPageWikiLink Transactions_of_the_American_Mathematical_Society.
- J._Roger_Hindley wikiPageWikiLink Type_theory.
- J._Roger_Hindley wikiPageWikiLink United_Kingdom.
- J._Roger_Hindley wikiPageWikiLinkText "Hindley, J. Roger".
- J._Roger_Hindley wikiPageWikiLinkText "J. Roger Hindley".
- J._Roger_Hindley almaMater Queens_University_Belfast.
- J._Roger_Hindley dateOfBirth "1938".
- J._Roger_Hindley doctoralAdvisor Ronald_Harrop.
- J._Roger_Hindley field Logic.
- J._Roger_Hindley field Type_theory.
- J._Roger_Hindley imageSize "150".
- J._Roger_Hindley knownFor Hindley–Milner_type_system.
- J._Roger_Hindley name "Hindley, J. Roger".
- J._Roger_Hindley name "J. Roger Hindley".
- J._Roger_Hindley shortDescription "British logician".
- J._Roger_Hindley wikiPageUsesTemplate Template:Birth-date.
- J._Roger_Hindley wikiPageUsesTemplate Template:Citation.
- J._Roger_Hindley wikiPageUsesTemplate Template:Infobox_Scientist.
- J._Roger_Hindley wikiPageUsesTemplate Template:Persondata.
- J._Roger_Hindley wikiPageUsesTemplate Template:UK-mathematician-stub.
- J._Roger_Hindley workInstitution Swansea_University.
- J._Roger_Hindley description "British logician".
- J._Roger_Hindley description "British logician".
- J._Roger_Hindley subject Category:1939_births.
- J._Roger_Hindley subject Category:British_logicians.
- J._Roger_Hindley subject Category:British_philosophers.
- J._Roger_Hindley subject Category:Living_people.
- J._Roger_Hindley hypernym Logician.
- J._Roger_Hindley type Agent.
- J._Roger_Hindley type List.
- J._Roger_Hindley type Person.
- J._Roger_Hindley type Philosopher.
- J._Roger_Hindley type Scientist.
- J._Roger_Hindley type Person.
- J._Roger_Hindley type List.
- J._Roger_Hindley type Mathematician.
- J._Roger_Hindley type Philosopher.
- J._Roger_Hindley type Agent.
- J._Roger_Hindley type NaturalPerson.
- J._Roger_Hindley type Thing.
- J._Roger_Hindley type Q215627.
- J._Roger_Hindley type Q5.
- J._Roger_Hindley type Q901.
- J._Roger_Hindley type Person.
- J._Roger_Hindley 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.".
- J._Roger_Hindley label "J. Roger Hindley".
- J._Roger_Hindley sameAs Q6106975.
- J._Roger_Hindley sameAs m.065zlr3.
- J._Roger_Hindley sameAs Q6106975.
- J._Roger_Hindley wasDerivedFrom J._Roger_Hindley?oldid=668917559.
- J._Roger_Hindley givenName "J. Roger".
- J._Roger_Hindley isPrimaryTopicOf J._Roger_Hindley.
- J._Roger_Hindley name "Hindley, J. Roger".
- J._Roger_Hindley name "J. Roger Hindley".
- J._Roger_Hindley surname "Hindley".