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

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

Namespace Prefixes

PrefixIRI
n25http://isni.org/isni/
n16https://zbmath.org/authors/?q=ai:
dbrhttp://dbpedia.org/resource/
n4http://fr.dbpedia.org/resource/Modèle:
n38http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
n34http://viaf.org/viaf/
schemahttp://schema.org/
n8http://commons.wikimedia.org/wiki/Special:FilePath/
n14http://www.idref.fr/079074456/
dbpedia-frhttp://fr.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n20http://g.co/kg/m/
n26http://prabook.com/web/
n17https://dblp.org/pid/w/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n36http://genealogy.math.ndsu.nodak.edu/
n45https://id.loc.gov/authorities/names/
n19https://scholar.google.com/
xsdhhttp://www.w3.org/2001/XMLSchema#
n29https://dl.acm.org/
prop-frhttp://fr.dbpedia.org/property/
n15https://www.semanticscholar.org/author/
n31http://catalogo.share-cat.unina.it/sharecat/
dbohttp://dbpedia.org/ontology/
n27https://ncatlab.org/nlab/show/
n35http://homepages.inf.ed.ac.uk/wadler/
n30http://commons.dbpedia.org/resource/Category:
wikidatahttp://www.wikidata.org/entity/
n40http://mg.dbpedia.org/resource/
n41http://aut.nkp.cz/
n22http://groups.inf.ed.ac.uk/
n33https://commons.wikimedia.org/wiki/Category:
dbpedia-ithttp://it.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
foafhttp://xmlns.com/foaf/0.1/
n23http://data.bnf.fr/ark:/12148/cb155572767#
wikipedia-frhttp://fr.wikipedia.org/wiki/
dbpedia-zhhttp://zh.dbpedia.org/resource/
n43https://www.scopus.com/authid/
n32https://bnb.data.bl.uk/doc/person/
n42http://arz.dbpedia.org/resource/
n21https://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:Philip_Wadler
rdf:type
dbo:Person dbo:Eukaryote schema:Person dbo:Species wikidata:Q729 foaf:Person wikidata:Q5 dbo:Animal n38:NaturalPerson wikidata:Q215627 owl:Thing wikidata:Q19088
rdfs:label
Philip Wadler Philip Wadler
rdfs:comment
Philip Wadler (né aux États-Unis le 8 avril 1956) est un informaticien américain connu pour ses contributions à la conception des langages de programmation et de la théorie des types.
rdfs:seeAlso
n15:117863003 n16:wadler.philip-l n19:citations?user=Iz-3VFQAAAAJ n25:0000_0001_1448_039X n26:person-view.html?profileId=1956798 n27:Philip_Wadler n29:author_page.cfm?id=81100173596 n31:searchNames?n_cluster_id=61444 n33:Philip_Wadler n36:id.php?id=50229 n41:xx0007940 n43:detail.url?authorId=7004077144
owl:sameAs
wikidata:Q3379094 dbpedia-zh:菲利普·瓦德勒 n14:id n17:PhilipWadler n20:085fhy n21:p073467766 n23:about dbpedia-it:Philip_Wadler n30:Philip_Wadler n32:WadlerPhilip1956- n34:74166584 dbpedia-es:Philip_Wadler dbr:Philip_Wadler n40:Philip_Wadler n42:فيليب_وادلر n45:n92021509
dbo:birthPlace
dbpedia-fr:États-Unis
dbo:wikiPageID
961455
dbo:wikiPageRevisionID
141724421
dbo:wikiPageWikiLink
dbpedia-fr:Informaticien dbpedia-fr:Logique_linéaire category-fr:Informaticien_américain category-fr:Personnalité_britannique_en_informatique category-fr:Théorie_des_types dbpedia-fr:Correspondance_de_Curry-Howard dbpedia-fr:Théorie_des_types dbpedia-fr:Langage_de_programmation category-fr:Personnalité_en_langages_de_programmation dbpedia-fr:Haskell category-fr:Logicien_américain category-fr:Naissance_aux_États-Unis category-fr:Programmation_fonctionnelle dbpedia-fr:XQuery dbpedia-fr:Logique_classique category-fr:Étudiant_de_l'université_Carnegie-Mellon dbpedia-fr:Programmation_déclarative dbpedia-fr:Application_web dbpedia-fr:Université_d'Édimbourg category-fr:Naissance_en_avril_1956 dbpedia-fr:Programmation_fonctionnelle
dbo:wikiPageExternalLink
n22:links n35:
dbo:wikiPageLength
2363
dct:subject
category-fr:Informaticien_américain category-fr:Personnalité_en_langages_de_programmation category-fr:Naissance_en_avril_1956 category-fr:Étudiant_de_l'université_Carnegie-Mellon category-fr:Programmation_fonctionnelle category-fr:Personnalité_britannique_en_informatique category-fr:Théorie_des_types category-fr:Logicien_américain category-fr:Naissance_aux_États-Unis
prop-fr:wikiPageUsesTemplate
n4:Infobox_Biographie2 n4:Drapeau2 n4:Lien n4:Portail n4:Autorité n4:Date_de_naissance n4:Refsou n4:Ébauche
prov:wasDerivedFrom
wikipedia-fr:Philip_Wadler?oldid=141724421&ns=0
foaf:depiction
n8:Wadler2.jpg
prop-fr:charte
classique
prop-fr:légende
Philip Wadler à l'université d'Edimbourgh .
prop-fr:nom
Philip Wadler
prop-fr:profession
dbpedia-fr:Informaticien
dbo:thumbnail
n8:Wadler2.jpg?width=300
foaf:isPrimaryTopicOf
wikipedia-fr:Philip_Wadler
dbo:employer
dbpedia-fr:Université_de_Glasgow dbpedia-fr:Université_d'Édimbourg dbpedia-fr:Laboratoires_Bell
dbo:doctoralStudent
wikidata:Q102282200 wikidata:Q102380563 wikidata:Q103164077 wikidata:Q102407600 wikidata:Q102346683
dbo:abstract
Philip Wadler (né aux États-Unis le 8 avril 1956) est un informaticien américain connu pour ses contributions à la conception des langages de programmation et de la théorie des types.
dbo:citizenship
dbpedia-fr:États-Unis dbpedia-fr:Royaume-Uni
dbo:award
wikidata:Q18748039 dbpedia-fr:Membre_de_la_Royal_Society_of_Edinburgh wikidata:Q30561679
dbo:occupation
wikidata:Q1622272 dbpedia-fr:Ingénieur dbpedia-fr:Informaticien
dbo:discipline
dbpedia-fr:Langage_de_programmation
dbo:almaMater
dbpedia-fr:Université_Carnegie-Mellon dbpedia-fr:Université_Stanford
dbo:doctoralAdvisor
wikidata:Q7028783 wikidata:Q102115729