zbMATH link

Code ISNI : 0000000382291720

Code ORCID : 0000-0003-0274-4954

http://www.lix.polytechnique.fr/Labo/Dale.Miller/

INRIA Saclay ;Laboratoire d'informatique (LIX)
École Polytechnique, Palaiseau