John C. Reynolds

http://dbpedia.org/resource/John_C._Reynolds an entity of type: Thing

جون س. رينولدز (بالإنجليزية: John C. Reynolds)‏ هو عالم حاسوب ومهندس أمريكي، ولد في 1 يونيو 1935 في الولايات المتحدة، وتوفي بنفس المكان في 28 أبريل 2013. rdf:langString
John Charles Reynolds (June 1, 1935 – April 28, 2013) was an American computer scientist. rdf:langString
John Charles Reynolds (1er juin 1935 – 28 avril 2013) est un informaticien américain. Il est réputé pour ses contributions à la théorie de la programmation. rdf:langString
John Charles Reynolds (1 de junio de 1935 - 28 de abril de 2013)​ fue un informático, físico y profesor estadounidense especializado en las ciencias de la computación y los sistemas de información. rdf:langString
rdf:langString جون س. رينولدز
rdf:langString John Charles Reynolds
rdf:langString John C. Reynolds
rdf:langString John C. Reynolds
rdf:langString John C. Reynolds
rdf:langString John C. Reynolds
rdf:langString United States
xsd:date 1935-06-01
xsd:integer 2715600
xsd:integer 1114962030
rdf:langString Surface Properties of Nuclear Matter
xsd:integer 1961
xsd:date 1935-06-01
rdf:langString John Charles Reynolds
rdf:langString United States
rdf:langString continuations, definitional interpreters, defunctionalization, Forsythe, Gedanken language, intersection types, polymorphic lambda calculus, relational parametricity, separation logic, ALGOL
rdf:langString جون س. رينولدز (بالإنجليزية: John C. Reynolds)‏ هو عالم حاسوب ومهندس أمريكي، ولد في 1 يونيو 1935 في الولايات المتحدة، وتوفي بنفس المكان في 28 أبريل 2013.
rdf:langString John Charles Reynolds (June 1, 1935 – April 28, 2013) was an American computer scientist.
rdf:langString John Charles Reynolds (1er juin 1935 – 28 avril 2013) est un informaticien américain. Il est réputé pour ses contributions à la théorie de la programmation.
rdf:langString John Charles Reynolds (1 de junio de 1935 - 28 de abril de 2013)​ fue un informático, físico y profesor estadounidense especializado en las ciencias de la computación y los sistemas de información.
xsd:nonNegativeInteger 7221
rdf:langString John Charles Reynolds
owl:Thing
foaf:Person
dbpedia-owl:Person
<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson>
<http://www.wikidata.org/entity/Q19088>
<http://www.wikidata.org/entity/Q215627>
<http://www.wikidata.org/entity/Q5>
<http://www.wikidata.org/entity/Q729>
yago:WikicatAmericanComputerScientists
dbpedia-owl:Animal
dbpedia-owl:Eukaryote
dbpedia-owl:Scientist
dbpedia-owl:Species
schema-org:Person
yago:WikicatMicrosoftEmployees
<http://www.wikidata.org/entity/Q901>
yago:Abstraction100002137
yago:Academician109759069
yago:Adult109605289
yago:Alumnus109786338
yago:ArtificialLanguage106894544
yago:Associate109816771
yago:CausalAgent100007347
yago:Colleague109935990
yago:Communication100033020
yago:ComputerScientist109951070
yago:ComputerUser109951274
yago:Editor110044879
yago:Educator110045713
yago:Employee110053808
yago:Intellectual109621545
yago:Language106282651
yago:LivingThing100004258
yago:Object100002684
yago:Organism100004475
yago:Peer109626238
yago:Person100007846
yago:PhysicalEntity100001930
yago:Professional110480253
yago:ProgrammingLanguage106898352
yago:ResearchWorker110523076
yago:WikicatHarvardUniversityAlumni
yago:Worker109632518
yago:YagoLegalActor
yago:YagoLegalActorGeo
yago:Scholar110557854
yago:Scientist110560637
yago:SkilledWorker110605985
yago:Whole100003553
yago:WikicatAcademicJournalEditors
yago:WikicatAcademicsOfImperialCollegeLondon
yago:WikicatAcademicsOfQueenMary,UniversityOfLondon
yago:WikicatFellowsOfTheAssociationForComputingMachinery
yago:WikicatFormalMethodsPeople
yago:WikicatProgrammingLanguageResearchers
yago:WikicatProgrammingLanguages
yago:WikicatPurdueUniversityAlumni
<http://www.cs.cmu.edu/~jcr>
<http://commons.wikimedia.org/wiki/Special:FilePath/John_C._Reynolds.jpg>
<http://dbpedia.org/resource/Category:Programming_language_researchers>
<http://dbpedia.org/resource/Category:1935_births>
<http://dbpedia.org/resource/Category:2013_deaths>
<http://dbpedia.org/resource/Category:Academic_journal_editors>
<http://dbpedia.org/resource/Category:Academics_of_the_University_of_Edinburgh>
<http://dbpedia.org/resource/Category:American_computer_scientists>
<http://dbpedia.org/resource/Category:Harvard_University_alumni>
<http://dbpedia.org/resource/Category:Microsoft_employees>
<http://dbpedia.org/resource/Category:Purdue_University_alumni>
<http://dbpedia.org/resource/Category:Syracuse_University_faculty>
<http://dbpedia.org/resource/Category:Carnegie_Mellon_University_faculty>
<http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_Computing_Machinery>
<http://dbpedia.org/resource/Category:Academics_of_Imperial_College_London>
<http://dbpedia.org/resource/Category:Academics_of_Queen_Mary_University_of_London>
<http://dbpedia.org/resource/Category:Formal_methods_people>
<http://dbpedia.org/resource/Call-by-value>
<http://dbpedia.org/resource/Cambridge>
<http://dbpedia.org/resource/Cambridge_University_Press>
<http://dbpedia.org/resource/Carnegie_Mellon_University>
<http://dbpedia.org/resource/Category:Programming_language_researchers>
<http://dbpedia.org/resource/Benjamin_C._Pierce>
<http://dbpedia.org/resource/Prentice_Hall>
<http://dbpedia.org/resource/Programming_Computable_Functions>
<http://dbpedia.org/resource/Purdue_University>
<http://dbpedia.org/resource/Queen_Mary_University_of_London>
<http://dbpedia.org/resource/Denmark>
<http://dbpedia.org/resource/University_of_Edinburgh>
<http://dbpedia.org/resource/Defunctionalization>
<http://dbpedia.org/resource/Information_science>
<http://dbpedia.org/resource/Intersection_type>
<http://dbpedia.org/resource/Category:1935_births>
<http://dbpedia.org/resource/Separation_logic>
<http://dbpedia.org/resource/Continuation>
<http://dbpedia.org/resource/ML_(programming_language)>
<http://dbpedia.org/resource/Communications_of_the_ACM>
<http://dbpedia.org/resource/Computer_science>
<http://dbpedia.org/resource/Computer_scientist>
<http://dbpedia.org/resource/Theoretical_physics>
<http://dbpedia.org/resource/Specification_language>
<http://dbpedia.org/resource/Theoretical_Computer_Science_(journal)>
<http://dbpedia.org/resource/Category:2013_deaths>
<http://dbpedia.org/resource/Category:Academic_journal_editors>
<http://dbpedia.org/resource/Category:Academics_of_the_University_of_Edinburgh>
<http://dbpedia.org/resource/Category:American_computer_scientists>
<http://dbpedia.org/resource/Category:Harvard_University_alumni>
<http://dbpedia.org/resource/Category:Microsoft_employees>
<http://dbpedia.org/resource/Category:Purdue_University_alumni>
<http://dbpedia.org/resource/Category:Syracuse_University_faculty>
<http://dbpedia.org/resource/British_Computer_Society>
<http://dbpedia.org/resource/Category:Carnegie_Mellon_University_faculty>
<http://dbpedia.org/resource/Data_structure>
<http://dbpedia.org/resource/Doctor_of_Philosophy>
<http://dbpedia.org/resource/ALGOL>
<http://dbpedia.org/resource/Aarhus_University>
<http://dbpedia.org/resource/Journal_of_the_ACM>
<http://dbpedia.org/resource/Harvard_University>
<http://dbpedia.org/resource/Jean-Yves_Girard>
<http://dbpedia.org/resource/Association_for_Computing_Machinery>
<http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_Computing_Machinery>
<http://dbpedia.org/resource/Category:Academics_of_Imperial_College_London>
<http://dbpedia.org/resource/Category:Academics_of_Queen_Mary_University_of_London>
<http://dbpedia.org/resource/Category:Formal_methods_people>
<http://dbpedia.org/resource/Syracuse_University>
<http://dbpedia.org/resource/System_F>
<http://dbpedia.org/resource/Philip_Wadler>
<http://dbpedia.org/resource/Imperial_College_London>
<http://dbpedia.org/resource/Microsoft_Research>
<http://dbpedia.org/resource/Category_theory>
<http://dbpedia.org/resource/Semantics>
<http://dbpedia.org/resource/Semantics_(computer_science)>
<http://dbpedia.org/resource/Lovelace_Medal>
<http://dbpedia.org/resource/Programming_language>
<http://dbpedia.org/resource/Olivier_Danvy>
<http://dbpedia.org/resource/SIGPLAN>
<http://dbpedia.org/resource/Parametricity>
<http://dbpedia.org/resource/Peter_W._O'Hearn>
<http://dbpedia.org/resource/Polymorphic_lambda_calculus>
<http://dbpedia.org/resource/Call-by-name>
<https://kilthub.cmu.edu/articles/The_Craft_of_Programming/6610514>
<http://www.cs.bham.ac.uk/~udr/>
<http://www.cse.chalmers.se/edu/year/2010/course/DAT140_Types/Reynolds_typesabpara.pdf>
<http://repository.cmu.edu/cgi/viewcontent.cgi%3Farticle=2289&context=compsci>
<https://web.archive.org/web/20070926235346/http:/vmoc.museophile.org/pvs04/>
<http://www.informatik.uni-trier.de/~ley/db/journals/tcs/tcs375.html>
<https://www.cs.cmu.edu/afs/cs/user/jcr/ftp/transysalg.pdf>
<https://www.cs.cmu.edu/~brookes/>
<https://www.cs.cmu.edu/~jcr/seplogic.pdf>
<https://www.cs.cmu.edu/~jcr/vita.pdf>
<http://www0.cs.ucl.ac.uk/staff/p.ohearn/papers/EssenceOfReynolds-preprint.pdf>
<http://rdf.freebase.com/ns/m.07zp52>
<http://viaf.org/viaf/109294543>
<http://www4.wiwiss.fu-berlin.de/dblp/resource/person/210168>
<http://yago-knowledge.org/resource/John_C._Reynolds>
<http://d-nb.info/gnd/17233053X>
<http://d-nb.info/gnd/174097441>
<https://dblp.org/pid/r/JohnCReynolds>
<http://www.wikidata.org/entity/Q3719620>
<http://data.bibliotheken.nl/id/thes/p068638221>
<http://ar.dbpedia.org/resource/جون_س._رينولدز>
<http://arz.dbpedia.org/resource/جون_س._رينولدز>
<http://azb.dbpedia.org/resource/جان_سی_رینولدز>
<http://es.dbpedia.org/resource/John_Charles_Reynolds>
<http://fa.dbpedia.org/resource/جان_سی_رینولدز>
<http://fr.dbpedia.org/resource/John_C._Reynolds>
<http://kk.dbpedia.org/resource/Джон_Ринолдс>
<http://mg.dbpedia.org/resource/John_C._Reynolds>
<https://global.dbpedia.org/id/3RjQU>
<http://dbpedia.org/resource/Carnegie_Mellon_University>
<http://dbpedia.org/resource/Syracuse_University>
<http://dbpedia.org/resource/Template:DBLP>
<http://dbpedia.org/resource/Template:Authority_control>
<http://dbpedia.org/resource/Template:Birth_date>
<http://dbpedia.org/resource/Template:Cite_conference>
<http://dbpedia.org/resource/Template:Cite_journal>
<http://dbpedia.org/resource/Template:Doi>
<http://dbpedia.org/resource/Template:ISBN>
<http://dbpedia.org/resource/Template:Official_website>
<http://dbpedia.org/resource/Template:Reflist>
<http://dbpedia.org/resource/Template:Short_description>
<http://dbpedia.org/resource/Template:URL>
<http://dbpedia.org/resource/Template:Death_date_and_age>
<http://dbpedia.org/resource/Template:MathGenealogy>
<http://dbpedia.org/resource/Template:Infobox_scientist>
<http://dbpedia.org/resource/Template:ALGOL_programming>
<http://commons.wikimedia.org/wiki/Special:FilePath/John_C._Reynolds.jpg?width=300>
<http://dbpedia.org/resource/Lovelace_Medal>
<http://dbpedia.org/resource/Purdue_University>
<http://dbpedia.org/resource/Doctor_of_Philosophy>
<http://dbpedia.org/resource/Harvard_University>
<http://dbpedia.org/resource/Computer_scientist>
<http://dbpedia.org/resource/Benjamin_C._Pierce>
<http://dbpedia.org/resource/Benjamin_C._Pierce>
<http://dbpedia.org/resource/Carnegie_Mellon_University>
<http://dbpedia.org/resource/Syracuse_University>
<http://dbpedia.org/resource/Scientist>
<http://viaf.org/viaf/109294543>
<http://en.wikipedia.org/wiki/John_C._Reynolds?oldid=1114962030&ns=0>
<http://dbpedia.org/resource/Computer_scientist>
<http://dbpedia.org/resource/Lovelace_Medal>
<http://dbpedia.org/resource/Defunctionalization>
<http://dbpedia.org/resource/Intersection_type>
<http://dbpedia.org/resource/Separation_logic>
<http://dbpedia.org/resource/Continuation>
<http://dbpedia.org/resource/ALGOL>
<http://dbpedia.org/resource/System_F>
<http://dbpedia.org/resource/Parametricity>
<http://en.wikipedia.org/wiki/John_C._Reynolds>

data from the linked data cloud