paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Contrôler dans Paprika
Contrôle Paprika
Explorer data.idref
data.idref
Copier ce élément EAD
Élément EAD
Export bibliographique
Export biblio
Exporter en XML
Export XML
Exporter en JSON
Export JSON
Exporter en RDF
Export RDF
Améliorer la notice
Améliorer la notice
Signaler une erreur
Signaler une erreur
Identifiant pérenne de la notice : 169632555Copier cet identifiant (PPN)
URI de l'entité : http://www.idref.fr/169632555/idCopier cet URI
Notice de type Personne

Point d'accès autorisé

Harper, Robert (19..-....)

Sur le web

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Langue d'expression : anglais
Genre : Masculin

Notes

Note publique d'information : 
Professeur au département de sciences informatiques de la Carnegie Mellon University (en 2023)

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/305117011
Identifiant ORCID : 0000-0002-9400-2941
Identifiant Wikidata : Q7345273
Identifiant ZBMath : harper.robert
Identifiant ARK BNF : http://catalogue.bnf.fr/ark:/12148/cb16669254x

Source

Practical foundations for programming languages / Robert Harper, 2013
Robert Harper. Inria. (2023, 17 octobre). A Cost-Aware Logical Framefork. [Vidéo]. Canal-U. https://www.canal-u.tv/147801. (Consultée le 21 novembre 2023)

... Références liées : ...