Registered user since Mon 2 Nov 2015

Name: Aseem Rastogi

Country: India

Affiliation: Microsoft Research India

Personal website: https://www.microsoft.com/en-us/research/people/aseemr/

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