conf.researchr.org / David Swasey
Not registered as user yet
Name:David Swasey
Affiliation:BedRock Systems
Contributions
CoqPL 2022 | Author of A Case for Lightweight Interfaces in Coq within the CoqPL-track |
Not registered as user yet
Contributions
CoqPL 2022 | Author of A Case for Lightweight Interfaces in Coq within the CoqPL-track |