This HTML5 document contains 230 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n32http://www.cobiss.si/scripts/
n29http://isni.org/isni/
n6http://azb.dbpedia.org/resource/
n25https://zbmath.org/authors/?q=ai:
n21http://repository.cmu.edu/cgi/
n39https://dblp.org/pid/r/
dbrhttp://dbpedia.org/resource/
n8http://fr.dbpedia.org/resource/Modèle:
dbpedia-arhttp://ar.dbpedia.org/resource/
n37http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
n10http://viaf.org/viaf/
schemahttp://schema.org/
n18http://www.cs.cmu.edu/~jcr/
n28http://commons.wikimedia.org/wiki/Special:FilePath/
dbpedia-frhttp://fr.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n38http://g.co/kg/m/
dbpedia-kkhttp://kk.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n41http://genealogy.math.ndsu.nodak.edu/
n14http://www.cse.chalmers.se/edu/year/2010/course/DAT140_Types/
n35https://id.loc.gov/authorities/names/
n36http://www.idref.fr/09143016X/
xsdhhttp://www.w3.org/2001/XMLSchema#
n40https://dl.acm.org/
prop-frhttp://fr.dbpedia.org/property/
dbohttp://dbpedia.org/ontology/
n34https://ncatlab.org/nlab/show/
n31http://commons.dbpedia.org/resource/Category:
wikidatahttp://www.wikidata.org/entity/
n24http://mg.dbpedia.org/resource/
n33https://commons.wikimedia.org/wiki/Category:
provhttp://www.w3.org/ns/prov#
foafhttp://xmlns.com/foaf/0.1/
wikipedia-frhttp://fr.wikipedia.org/wiki/
n19http://arz.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
n11https://data.bibliotheken.nl/doc/thes/
dbpedia-eshttp://es.dbpedia.org/resource/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
owlhttp://www.w3.org/2002/07/owl#

Statements

Subject Item
dbpedia-fr:John_C._Reynolds
rdf:type
dbo:Eukaryote owl:Thing wikidata:Q215627 wikidata:Q19088 dbo:Scientist dbo:Person schema:Person foaf:Person dbo:Animal n37:NaturalPerson wikidata:Q901 wikidata:Q729 wikidata:Q5 dbo:Species
rdfs:label
John Charles Reynolds John C. Reynolds
rdfs:comment
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.
rdfs:seeAlso
n25:reynolds.john-c n29:0000_0001_1003_4704 n32:cobiss?command=DISPLAY&base=CONOR&rid=35428451 n33:John_Charles_Reynolds_(computer_scientist) n34:John_C._Reynolds n40:author_page.cfm?id=81100470240 n41:id.php?id=50080
owl:sameAs
n6:جان_سی_رینولدز n10:109294543 n11:p068638221 dbpedia-fa:جان_سی_رینولدز n19:جون_س._رينولدز dbpedia-es:John_Charles_Reynolds dbr:John_C._Reynolds dbpedia-ar:جون_س._رينولدز n24:John_C._Reynolds dbpedia-kk:Джон_Ринолдс n31:John_Charles_Reynolds_(computer_scientist) wikidata:Q3719620 n35:n80129498 n36:id n38:07zp52 n39:JohnCReynolds
dbo:deathPlace
dbpedia-fr:États-Unis
dbo:deathDate
2013-04-28
dbo:birthPlace
dbpedia-fr:États-Unis dbpedia-fr:Illinois
dbo:birthDate
1935-06-01
dbo:wikiPageID
10247460
dbo:wikiPageRevisionID
190282289
dbo:wikiPageWikiLink
dbpedia-fr:Langage_de_programmation dbpedia-fr:États-Unis dbpedia-fr:Institut_national_de_recherche_en_informatique_et_en_automatique dbpedia-fr:Laboratoire_national_d'Argonne dbpedia-fr:Structure_de_données dbpedia-fr:Special_Interest_Group_on_Programming_Languages dbpedia-fr:Queen_Mary_University_of_London dbpedia-fr:Informatique dbpedia-fr:Communications_of_the_ACM category-fr:Décès_à_77_ans category-fr:Décès_en_avril_2013 dbpedia-fr:Université_d'Aarhus dbpedia-fr:Illinois dbpedia-fr:Système_F dbpedia-fr:Sémantique_des_langages_de_programmation category-fr:Naissance_en_juin_1935 dbpedia-fr:Sémantique dbpedia-fr:British_Computer_Society dbpedia-fr:Doctorat_honoris_causa dbpedia-fr:Doctorat dbpedia-fr:Journal_of_the_ACM dbpedia-fr:Association_for_Computing_Machinery dbpedia-fr:Cambridge category-fr:Professeur_à_l'Imperial_College_London dbpedia-fr:Université_Purdue dbpedia-fr:Type_(informatique) dbpedia-fr:Logique_de_séparation category-fr:Professeur_à_l'université_de_Syracuse dbpedia-fr:Jean-Yves_Girard dbpedia-fr:Cambridge_University_Press dbpedia-fr:Imperial_College_London category-fr:Personnalité_de_Microsoft dbpedia-fr:Université_de_Syracuse dbpedia-fr:Anti-unification dbpedia-fr:Interprète_(informatique) category-fr:Personnalité_américaine_en_informatique category-fr:Professeur_à_l'université_Carnegie-Mellon dbpedia-fr:Médaille_Lovelace category-fr:Étudiant_de_l'université_Harvard dbpedia-fr:Academia_Europaea dbpedia-fr:Edinburgh_University_Press dbpedia-fr:Université_d'Édimbourg dbpedia-fr:Science_de_l'information dbpedia-fr:Microsoft_Research dbpedia-fr:Physique_théorique dbpedia-fr:Université_Carnegie-Mellon category-fr:Étudiant_de_l'université_Purdue dbpedia-fr:Université_de_Londres dbpedia-fr:Théorie_des_catégories dbpedia-fr:Université_Harvard category-fr:Personnalité_en_méthodes_formelles dbpedia-fr:Continuation_(informatique) dbpedia-fr:Prentice_Hall dbpedia-fr:Informaticien dbpedia-fr:Bachelor_of_Science
dbo:wikiPageExternalLink
n14:Reynolds_typesabpara.pdf n18:vita.pdf n18: n21:viewcontent.cgi%3Farticle=2289&context=compsci n21:viewcontent.cgi%3Farticle=2279&context=compsci
dbo:wikiPageLength
7214
dct:subject
category-fr:Personnalité_en_méthodes_formelles category-fr:Décès_en_avril_2013 category-fr:Naissance_en_juin_1935 category-fr:Professeur_à_l'Imperial_College_London category-fr:Étudiant_de_l'université_Harvard category-fr:Personnalité_américaine_en_informatique category-fr:Professeur_à_l'université_de_Syracuse category-fr:Décès_à_77_ans category-fr:Étudiant_de_l'université_Purdue category-fr:Personnalité_de_Microsoft category-fr:Professeur_à_l'université_Carnegie-Mellon
foaf:homepage
n18:
foaf:name
John Charles Reynolds
prop-fr:wikiPageUsesTemplate
n8:Date- n8:Voir_homonymes n8:Date_de_naissance n8:Date_de_décès n8:Références n8:Autorité n8:Citation_étrangère n8:Portail n8:Bases_recherche n8:Article n8:Ouvrage n8:Lien n8:Infobox_Scientifique
prov:wasDerivedFrom
wikipedia-fr:John_C._Reynolds?oldid=190282289&ns=0
foaf:depiction
n28:Reynolds_John_small.jpg
prop-fr:année
1974 1970 1983 1981 2007 1998
prop-fr:auteur
Philip Wadler Peter O’Hearn Olivier Danvy
prop-fr:dateDeDécès
2013-04-28
prop-fr:dateDeNaissance
1935-06-01
prop-fr:doi
10.1016 10.1007
prop-fr:fr
défonctionalisation paramétricité
prop-fr:isbn
0
prop-fr:issn
302
prop-fr:journal
Information Processing '83 Colloque sur la Programmation
prop-fr:langue
en
prop-fr:lieu
Paris Cambridge
prop-fr:lieuDeNaissance
dbpedia-fr:Illinois
prop-fr:lireEnLigne
n21:viewcontent.cgi%3Farticle=2279&context=compsci ftp://ftp.cs.cmu.edu/user/jcr/transysalg.pdf
prop-fr:mois
mai
prop-fr:nationalité
dbpedia-fr:États-Unis
prop-fr:nom
John Charles Reynolds
prop-fr:numéro
1
prop-fr:pages
513 1 408 135
prop-fr:pagesTotales
500 434
prop-fr:périodique
Machine Intelligence Theoretical Computer Science
prop-fr:responsabilité
éditeurs
prop-fr:site
Page de John Reynolds à l'université Carnegie-Mellon
prop-fr:titre
Theories of programming languages The craft of programming Towards a theory of type structure Festschrift for John C. Reynolds's 70th Birthday Transformational Systems and the Algebraic Structure of Atomic Formulas Types, Abstraction and Parametric Polymorphism
prop-fr:trad
parametricity defunctionalization
prop-fr:url
n14:Reynolds_typesabpara.pdf n21:viewcontent.cgi%3Farticle=2289&context=compsci
prop-fr:volume
5 375
prop-fr:éditeur
Springer Science + Business Media dbpedia-fr:Edinburgh_University_Press dbpedia-fr:Prentice_Hall dbpedia-fr:Cambridge_University_Press
prop-fr:formation
Université Harvard
prop-fr:diplôme
dbpedia-fr:Doctorat
prop-fr:renomméPour
continuation, interpréteur, défonctionalisation, langages de programmation Forsythe et Gedanken Système F, paramétricité, logique de séparation
prop-fr:institutions
dbpedia-fr:Université_Carnegie-Mellon dbpedia-fr:Université_de_Syracuse
prop-fr:prix
médaille Lovelace
dbo:thumbnail
n28:Reynolds_John_small.jpg?width=300
foaf:isPrimaryTopicOf
wikipedia-fr:John_C._Reynolds
dbo:employer
dbpedia-fr:Queen_Mary_University_of_London dbpedia-fr:Imperial_College_London dbpedia-fr:Université_Carnegie-Mellon dbpedia-fr:Microsoft dbpedia-fr:Université_de_Syracuse
dbo:doctoralStudent
wikidata:Q102425380 wikidata:Q4888368 wikidata:Q102214953 wikidata:Q102400507
dbo:birthYear
1935-01-01
dbo:deathYear
2013-01-01
dbo:abstract
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.
dbo:citizenship
dbpedia-fr:États-Unis
dbo:award
wikidata:Q30560556 wikidata:Q18748039 dbpedia-fr:Médaille_Lovelace
dbo:institution
dbpedia-fr:Université_Carnegie-Mellon dbpedia-fr:Université_de_Syracuse
dbo:knownFor
dbpedia-fr:Logique_de_séparation dbpedia-fr:Continuation_(informatique) dbpedia-fr:Système_F dbpedia-fr:Interprète_(informatique)
dbo:nationality
dbpedia-fr:États-Unis
dbo:occupation
dbpedia-fr:Ingénieur dbpedia-fr:Informaticien
dbo:university
dbpedia-fr:Doctorat
dbo:almaMater
dbpedia-fr:Université_Harvard dbpedia-fr:Université_Purdue
dbo:doctoralAdvisor
wikidata:Q1793575 wikidata:Q1531307