POPL 2017
Sun 15 - Sat 21 January 2017

Registered user since Thu 15 Dec 2016

Name: Théo Zimmermann

Country: France

Affiliation: IRIF, Université Paris Diderot

Contributions

TTT 2017Author of Coq's Prolog and application to defining semi-automatic tactics within the TTT-track
Show activities from other conferences

POPL 2017-profile
View general profile