<http://rdf.freebase.com/ns/en.j_roger_hindley> <http://rdf.freebase.com/ns/common.topic.webpage> <http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000aaec190>.
<http://rdf.freebase.com/ns/en.j_roger_hindley> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/people.person>.
<http://rdf.freebase.com/ns/en.j_roger_hindley> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/base.proofsareprograms.key_contributor>.
<http://rdf.freebase.com/ns/en.j_roger_hindley> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/common.topic>.
<http://rdf.freebase.com/ns/en.j_roger_hindley> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/computer.computer_scientist>.
<http://rdf.freebase.com/ns/en.j_roger_hindley> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/education.academic>.
<http://rdf.freebase.com/ns/en.j_roger_hindley> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/base.proofsareprograms.topic>.
<http://rdf.freebase.com/ns/en.j_roger_hindley> <http://rdf.freebase.com/ns/base.proofsareprograms.key_contributor.contributions> <http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000ab34e1c>.
<http://rdf.freebase.com/ns/en.j_roger_hindley> <http://rdf.freebase.com/ns/type.object.name> "J. Roger Hindley"@en.
<http://rdf.freebase.com/ns/en.j_roger_hindley> <http://rdf.freebase.com/ns/type.object.key> _:nEGfiyLi206.
<http://rdf.freebase.com/ns/en.j_roger_hindley> <http://rdf.freebase.com/ns/people.person.gender> <http://rdf.freebase.com/ns/en.male>.
<http://rdf.freebase.com/ns/en.j_roger_hindley> <http://creativecommons.org/ns#attributionName> "Source: Freebase - The World's database".
<http://rdf.freebase.com/ns/en.j_roger_hindley> <http://www.w3.org/1999/xhtml/vocab#license> <http://creativecommons.org/licenses/by/3.0/>.
<http://rdf.freebase.com/ns/en.j_roger_hindley> <http://creativecommons.org/ns#attributionURL> <http://www.freebase.com/view/en/j_roger_hindley>.
_:nEGfiyLi206 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/en>.
_:nEGfiyLi206 <http://rdf.freebase.com/ns/type.value.value> "j_roger_hindley".
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000ab34e1c> <http://rdf.freebase.com/ns/base.proofsareprograms.key_contribution.why_this_is_interesting> "This is the Curry-Howard correspondence in action -- used to deduce the types of polymorphic programs from their structure and primitive operations. First discovered by the logician Hindley in 1969 and re-discovered by the computer scientist Milner in 1978."@en.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000ab34e1c> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/base.proofsareprograms.key_contribution>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000ab34e1c> <http://rdf.freebase.com/ns/base.proofsareprograms.key_contribution.contributors> <http://rdf.freebase.com/ns/en.j_roger_hindley>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000ab34e1c> <http://rdf.freebase.com/ns/base.proofsareprograms.key_contribution.contributors> <http://rdf.freebase.com/ns/en.robin_milner>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000ab34e1c> <http://rdf.freebase.com/ns/base.proofsareprograms.key_contribution.key_concept> <http://rdf.freebase.com/ns/en.type_inference>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000ab34e1c> <http://rdf.freebase.com/ns/base.proofsareprograms.key_contribution.key_artifacts> <http://rdf.freebase.com/ns/en.ml>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000ab34e1c> <http://rdf.freebase.com/ns/base.proofsareprograms.key_contribution.date> "1978".
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000aaec190> <http://rdf.freebase.com/ns/common.webpage.description> "J Roger Hindley"@en.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000aaec190> <http://rdf.freebase.com/ns/common.webpage.topic> <http://rdf.freebase.com/ns/en.j_roger_hindley>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000aaec190> <http://rdf.freebase.com/ns/common.webpage.uri> "http://www-maths.swan.ac.uk/staff/jrh/".
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000aaec190> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/common.webpage>.