POPL 2017
Sun 15 - Sat 21 January 2017
Dale Miller

Registered user since Fri 3 Jul 2015

Name: Dale Miller

Affiliation: INRIA Saclay and LIX

Contributions

PADL 2017 Proof checking and logic programming
Show activities from other conferences

POPL 2017-profile
View general profile