Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/John_C._Reynolds> ?p ?o }
- John_C._Reynolds abstract "John Charles Reynolds (June 1, 1935 – April 28, 2013) was an American computer scientist.".
- John_C._Reynolds award Lovelace_Medal.
- John_C._Reynolds birthDate "1935-06-01".
- John_C._Reynolds birthName "John Charles Reynolds".
- John_C._Reynolds doctoralStudent Benjamin_C._Pierce.
- John_C._Reynolds knownFor Continuation.
- John_C._Reynolds knownFor Definitional_interpreters.
- John_C._Reynolds knownFor Defunctionalization.
- John_C._Reynolds knownFor Gedanken_(programming_language).
- John_C._Reynolds knownFor John_C._Reynolds.
- John_C._Reynolds knownFor Parametricity.
- John_C._Reynolds knownFor Separation_logic.
- John_C._Reynolds knownFor Subtyping.
- John_C._Reynolds knownFor System_F.
- John_C._Reynolds thumbnail Reynolds_John_small.jpg?width=300.
- John_C._Reynolds wikiPageExternalLink viewcontent.cgi?article=2289&context=compsci.
- John_C._Reynolds wikiPageExternalLink Reynolds_typesabpara.pdf.
- John_C._Reynolds wikiPageExternalLink viewcontent.cgi?article=2279&context=compsci.
- John_C._Reynolds wikiPageExternalLink pvs04.
- John_C._Reynolds wikiPageExternalLink ~jcr.
- John_C._Reynolds wikiPageExternalLink vita.pdf.
- John_C._Reynolds wikiPageExternalLink tcs375.html.
- John_C._Reynolds wikiPageID "2715600".
- John_C._Reynolds wikiPageLength "5519".
- John_C._Reynolds wikiPageOutDegree "71".
- John_C._Reynolds wikiPageRevisionID "705857805".
- John_C._Reynolds wikiPageWikiLink Aarhus_University.
- John_C._Reynolds wikiPageWikiLink Association_for_Computing_Machinery.
- John_C._Reynolds wikiPageWikiLink Benjamin_C._Pierce.
- John_C._Reynolds wikiPageWikiLink British_Computer_Society.
- John_C._Reynolds wikiPageWikiLink Cambridge.
- John_C._Reynolds wikiPageWikiLink Cambridge_University_Press.
- John_C._Reynolds wikiPageWikiLink Carnegie_Mellon_University.
- John_C._Reynolds wikiPageWikiLink Category:1935_births.
- John_C._Reynolds wikiPageWikiLink Category:2013_deaths.
- John_C._Reynolds wikiPageWikiLink Category:Academic_journal_editors.
- John_C._Reynolds wikiPageWikiLink Category:Academics_of_Imperial_College_London.
- John_C._Reynolds wikiPageWikiLink Category:Academics_of_Queen_Mary_University_of_London.
- John_C._Reynolds wikiPageWikiLink Category:American_computer_scientists.
- John_C._Reynolds wikiPageWikiLink Category:Carnegie_Mellon_University_faculty.
- John_C._Reynolds wikiPageWikiLink Category:Fellows_of_the_Association_for_Computing_Machinery.
- John_C._Reynolds wikiPageWikiLink Category:Formal_methods_people.
- John_C._Reynolds wikiPageWikiLink Category:Harvard_University_alumni.
- John_C._Reynolds wikiPageWikiLink Category:Microsoft_employees.
- John_C._Reynolds wikiPageWikiLink Category:Programming_language_researchers.
- John_C._Reynolds wikiPageWikiLink Category:Purdue_University_alumni.
- John_C._Reynolds wikiPageWikiLink Category:Syracuse_University_faculty.
- John_C._Reynolds wikiPageWikiLink Category_theory.
- John_C._Reynolds wikiPageWikiLink Communications_of_the_ACM.
- John_C._Reynolds wikiPageWikiLink Computer_science.
- John_C._Reynolds wikiPageWikiLink Computer_scientist.
- John_C._Reynolds wikiPageWikiLink Continuation.
- John_C._Reynolds wikiPageWikiLink Data_structure.
- John_C._Reynolds wikiPageWikiLink Definitional_interpreters.
- John_C._Reynolds wikiPageWikiLink Defunctionalization.
- John_C._Reynolds wikiPageWikiLink Denmark.
- John_C._Reynolds wikiPageWikiLink Doctor_of_Philosophy.
- John_C._Reynolds wikiPageWikiLink Gedanken_(programming_language).
- John_C._Reynolds wikiPageWikiLink Gedanken_programming_language.
- John_C._Reynolds wikiPageWikiLink Harvard_University.
- John_C._Reynolds wikiPageWikiLink Imperial_College_London.
- John_C._Reynolds wikiPageWikiLink Information_science.
- John_C._Reynolds wikiPageWikiLink Jean-Yves_Girard.
- John_C._Reynolds wikiPageWikiLink John_C._Reynolds.
- John_C._Reynolds wikiPageWikiLink Journal_of_the_ACM.
- John_C._Reynolds wikiPageWikiLink Lovelace_Medal.
- John_C._Reynolds wikiPageWikiLink Microsoft_Research.
- John_C._Reynolds wikiPageWikiLink Olivier_Danvy.
- John_C._Reynolds wikiPageWikiLink Parametricity.
- John_C._Reynolds wikiPageWikiLink Peter_OHearn.
- John_C._Reynolds wikiPageWikiLink Philip_Wadler.
- John_C._Reynolds wikiPageWikiLink Prentice_Hall.
- John_C._Reynolds wikiPageWikiLink Programming_language.
- John_C._Reynolds wikiPageWikiLink Purdue_University.
- John_C._Reynolds wikiPageWikiLink Queen_Mary_University_of_London.
- John_C._Reynolds wikiPageWikiLink SIGPLAN.
- John_C._Reynolds wikiPageWikiLink Semantics.
- John_C._Reynolds wikiPageWikiLink Semantics_(computer_science).
- John_C._Reynolds wikiPageWikiLink Separation_logic.
- John_C._Reynolds wikiPageWikiLink Specification_language.
- John_C._Reynolds wikiPageWikiLink Subtyping.
- John_C._Reynolds wikiPageWikiLink Syracuse_University.
- John_C._Reynolds wikiPageWikiLink System_F.
- John_C._Reynolds wikiPageWikiLink Theoretical_Computer_Science_(journal).
- John_C._Reynolds wikiPageWikiLink Theoretical_physics.
- John_C._Reynolds wikiPageWikiLink United_Kingdom.
- John_C._Reynolds wikiPageWikiLink United_States.
- John_C._Reynolds wikiPageWikiLink University_of_Edinburgh.
- John_C._Reynolds wikiPageWikiLinkText "J.C. Reynolds".
- John_C._Reynolds wikiPageWikiLinkText "John C. Reynolds".
- John_C._Reynolds wikiPageWikiLinkText "John Reynolds".
- John_C._Reynolds awards "Lovelace Medal".
- John_C._Reynolds birthDate "1935-06-01".
- John_C._Reynolds birthName "John Charles Reynolds".
- John_C._Reynolds doctoralStudents Benjamin_C._Pierce.
- John_C._Reynolds knownFor "continuations, definitional interpreters, defunctionalization, Forsythe, Gedanken, intersection types, polymorphic lambda calculus, relational parametricity, separation logic".
- John_C._Reynolds thesisTitle "Surface Properties of Nuclear Matter".
- John_C._Reynolds thesisYear "1961".
- John_C._Reynolds wikiPageUsesTemplate Template:Authority_control.
- John_C._Reynolds wikiPageUsesTemplate Template:Birth_date.