POPL 2017
Sun 15 - Sat 21 January 2017
Dale Miller

Registered user since Fri 7 Dec 2018

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