Not registered as user yet

Name: Paul Krogmeier

Affiliation: Purdue University

Contributions

CoqPL 2018Author of Towards Context-Aware Data Refinement within the -track
Show activities from other conferences

POPL 2018-profile
View general profile