Matches in DBpedia 2014 for { <http://dbpedia.org/resource/J._Roger_Hindley> ?p ?o. }
Showing items 1 to 66 of
66
with 100 items 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 Queen's_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%E2%80%93Milner_type_system.
- J._Roger_Hindley wikiPageExternalLink ?id=nDvFIwAACAAJ.
- J._Roger_Hindley wikiPageID "23323984".
- J._Roger_Hindley wikiPageRevisionID "590668057".
- J._Roger_Hindley almaMater Queen's_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 hasPhotoCollection J._Roger_Hindley.
- J._Roger_Hindley imageSize "150".
- J._Roger_Hindley knownFor Hindley–Milner_type_inference_algorithm.
- J._Roger_Hindley name "Hindley, J. Roger".
- J._Roger_Hindley name "J. Roger Hindley".
- J._Roger_Hindley shortDescription "British logician".
- J._Roger_Hindley workInstitution Swansea_University.
- J._Roger_Hindley description "British logician".
- J._Roger_Hindley description "British logician".
- J._Roger_Hindley subject Category:1938_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 type BritishLogicians.
- J._Roger_Hindley type CausalAgent100007347.
- J._Roger_Hindley type Expert109617867.
- J._Roger_Hindley type LivingPeople.
- J._Roger_Hindley type LivingThing100004258.
- J._Roger_Hindley type Logician110269785.
- J._Roger_Hindley type Object100002684.
- J._Roger_Hindley type Organism100004475.
- J._Roger_Hindley type Person100007846.
- J._Roger_Hindley type PhysicalEntity100001930.
- J._Roger_Hindley type Scientist110560637.
- J._Roger_Hindley type Whole100003553.
- J._Roger_Hindley type YagoLegalActor.
- J._Roger_Hindley type YagoLegalActorGeo.
- J._Roger_Hindley type Agent.
- J._Roger_Hindley type Person.
- J._Roger_Hindley type Scientist.
- J._Roger_Hindley type Person.
- J._Roger_Hindley type Scientist.
- J._Roger_Hindley type Q215627.
- J._Roger_Hindley type Q5.
- J._Roger_Hindley type Agent.
- J._Roger_Hindley type NaturalPerson.
- J._Roger_Hindley type Thing.
- 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 m.065zlr3.
- J._Roger_Hindley sameAs Q6106975.
- J._Roger_Hindley sameAs Q6106975.
- J._Roger_Hindley sameAs J._Roger_Hindley.
- J._Roger_Hindley wasDerivedFrom J._Roger_Hindley?oldid=590668057.
- 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".