Cédric Fournet - ICFP 2017 (original) (raw)

Name:Cédric Fournet

Affiliation:Microsoft Research, n.n.

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