Registered user since Fri 3 Jul 2015

Name: Dale Miller

Affiliation: INRIA Saclay and LIX

POPL 2017 Activities

• Author of Proof checking and logic programming within the PADL-track in PADL 2017
• Show activities from other conferences