Not registered as user yet

Name: Karthikeyan Bhargavan

Affiliation: INRIA

ICFP 2016 Activities

• Author of Extracting from F* to C: a progress report within the ML-track in ML 2016
• Show activities from other conferences