Cédric Fournet - POPL 2023 (original) (raw)

Name:Cédric Fournet

Affiliation:Microsoft Research

Personal website: http://research.microsoft.com/en-us/um/people/fournet/