Registered user since Wed 12 Nov 2014

Name: Phúc C. Nguyễn

Affiliation: University of Maryland

POPL 2018 Activities

• Author of Soft Contract Verification for Higher-order Stateful Programs within the Research Papers-track in POPL 2018
• Author of Soft Contract Verification for Higher-order Stateful Programs within the Artifact Evaluation-track in POPL 2018
• Show activities from other conferences