Not registered as user yet

Name: Cédric Fournet

Affiliation: Microsoft Research

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

POPL 2016 Activities

• Author of Dependent Types and Multi-Monadic Effects in F* within the Research Papers-track in POPL 2016
• Show activities from other conferences