John C. Reynolds - CaLiGraph

Property	Value
rdf:type	Academic of Imperial College London Formal methods person owl:NamedIndividual 1935 birth 2013 death Academic journal editor Academic of Queen Mary University of London Academic of the University of Edinburgh American computer scientist Fellow of the Association for Computing Machinery Harvard University alumnus Living person Microsoft employee New Zealand artist Purdue University alumnus Programmer Programming language researcher
rdfs:label	John C. Reynolds
owl:sameAs	dbr:John_C._Reynolds
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Academics_of_Imperial_College_London http://en.wikipedia.org/wiki/Category:Academics_of_Imperial_College_London_by_department http://en.wikipedia.org/wiki/School_of_Informatics,_University_of_Edinburgh http://en.wikipedia.org/wiki/April_28 http://en.wikipedia.org/wiki/Category:1935_births http://en.wikipedia.org/wiki/Category:2013_deaths http://en.wikipedia.org/wiki/Category:Academics_of_the_University_of_Edinburgh http://en.wikipedia.org/wiki/Category:American_computer_scientists http://en.wikipedia.org/wiki/Category:Fellows_of_the_Association_for_Computing_Machinery http://en.wikipedia.org/wiki/Category:Harvard_University_alumni http://en.wikipedia.org/wiki/History_of_programming_languages http://en.wikipedia.org/wiki/List_of_computer_scientists http://en.wikipedia.org/wiki/List_of_fellows_of_the_Association_for_Computing_Machinery http://en.wikipedia.org/wiki/Category:Formal_methods_people http://en.wikipedia.org/wiki/Northeastern_University_School_of_Pharmacy http://en.wikipedia.org/wiki/Category:Academic_journal_editors http://en.wikipedia.org/wiki/Category:Academic_journal_editors_by_field http://en.wikipedia.org/wiki/Category:Academic_journal_editors_by_journal http://en.wikipedia.org/wiki/Category:Academics_of_Queen_Mary_University_of_London http://en.wikipedia.org/wiki/Category:Microsoft_employees http://en.wikipedia.org/wiki/Category:Purdue_University_alumni http://en.wikipedia.org/wiki/Deaths_in_April_2013 http://en.wikipedia.org/wiki/List_of_Purdue_University_alumni http://en.wikipedia.org/wiki/SIGPLAN http://en.wikipedia.org/wiki/BCS_Lovelace_Medal http://en.wikipedia.org/wiki/Center_for_Science_and_Culture http://en.wikipedia.org/wiki/Category:Programming_language_researchers http://en.wikipedia.org/wiki/List_of_programmers http://en.wikipedia.org/wiki/List_of_programming_language_researchers http://en.wikipedia.org/wiki/June_1 http://en.wikipedia.org/wiki/Walters_Prize http://en.wikipedia.org/wiki/John_Reynolds
skos:prefLabel	John C. Reynolds
skos:altLabel	John Reynolds J.C. Reynolds John Mark Reynolds
clgo:academicDiscipline	Computer scientist
clgo:almaMater	Harvard University Imperial College London
clgo:award	BCS Lovelace Medal
clgo:birthDate	1935-06-01
clgo:birthName	John Charles Reynolds
clgo:birthPlace	Edinburgh London
clgo:birthYear	1935
clgo:deathYear	2013
clgo:doctoralStudent	Benjamin C. Pierce
clgo:institution	Syracuse University Carnegie Mellon University Queen Mary University of London Imperial College London
clgo:knownFor	Intersection type Defunctionalization ALGOL System F Continuation Parametricity Separation logic
is clgo:doctoralAdvisor of	Benjamin C. Pierce
is clgo:doctoralStudent of	Kurt Gottfried
is clgo:influencedBy of	Peter O'Hearn

About: clgr:John_C._Reynolds