Rémy Degenne - POPL 2023 (original) (raw)

Name:Rémy Degenne

Affiliation:Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9198-CRIStAL, F-59000 Lille, France