paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 253134765Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Dagand, Pierre-Evariste (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)
Date de naissance :    19XX
Genre : Masculin

Notes

Note publique d'information : 
Informaticien. Chargé de recherches CNRS, membre du pôle Preuves, programmes et systèmes (PPS), Institut de recherche en informatique fondamentale (IRIF, UMR 8243), Université de Paris (en 2021)

Identifiants externes

Identifiant HAL : pedagand

Source

Pierre-Evariste Dagand. The essence of ornaments. Journal of Functional Programming, Cambridge University Press (CUP), 2017, 27, (10.1017/S0956796816000356). (hal-01461209)

https://www.irif.fr/~dagand/, 2021-11-22

Information trouvée : Informaticien. Chargé de recherches CNRS, membre du pôle Preuves, programmes et systèmes (PPS), Institut de recherche en informatique fondamentale (IRIF, UMR 8243), Université de Paris

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