Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Jonathan Protzenko

Registered user since Tue 2 Jun 2015

Name: Jonathan Protzenko

Country: United States

Affiliation: Microsoft Research

Personal website: https://jonathan.protzenko.fr

Contributions

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

ICFP 2016-profile
View general profile