Deux articles acceptés à POPL 2020

Deux articles des membres de l’équipe LoVe ont été acceptés au 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020, site web: https://popl20.sigplan.org):