Matches in DBpedia 2015-10 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 birthPlace USA.
- John_C._Reynolds birthPlace United_States.
- John_C._Reynolds birthYear "1935".
- John_C._Reynolds deathDate "2013-04-28".
- John_C._Reynolds deathPlace USA.
- John_C._Reynolds deathPlace United_States.
- John_C._Reynolds deathYear "2013".
- 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 "5851".
- John_C._Reynolds wikiPageOutDegree "73".
- John_C._Reynolds wikiPageRevisionID "682497181".
- 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 Continuations.
- 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 Forsythe_(programming_language).
- 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 Intersection_type.
- 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 Peter_W._OHearn.
- John_C._Reynolds wikiPageWikiLink PhD.
- John_C._Reynolds wikiPageWikiLink Philip_Wadler.
- John_C._Reynolds wikiPageWikiLink Polymorphic_lambda_calculus.
- John_C._Reynolds wikiPageWikiLink Prentice_Hall.
- John_C._Reynolds wikiPageWikiLink Programming_language.
- John_C._Reynolds wikiPageWikiLink Programming_language_semantics.
- John_C._Reynolds wikiPageWikiLink Purdue_University.
- John_C._Reynolds wikiPageWikiLink Queen_Mary,_University_of_London.
- 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.