Not registered as user yet

Name:Paolo G. Giarrusso
Affiliation:BedRock Systems

Contributions

CoqPL 2022 A Case for Lightweight Interfaces in Coq
Show activities from other conferences

POPL 2022-profile
View general profile