Not registered as user yet
Name:David Swasey
Affiliation:BedRock Systems
Contributions
CoqPL 2022 | A Case for Lightweight Interfaces in Coq | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2022-profile
View general profile
View general profile
Not registered as user yet
Contributions
CoqPL 2022 | A Case for Lightweight Interfaces in Coq | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |