Not registered as user yet

Name: Antoine Delignat-Lavaud

Affiliation: Microsoft Research, n.n.

All Activities

• Author of Dependent Types and Multi-Monadic Effects in F* within the Research Papers-track in POPL 2016
• Author of Verified Low-Level Programming Embedded in F* within the Research Papers-track in ICFP 2017