Browse
Author
Showing results 1 to 2 of 2
Issue Date | Title / Author(s) / Citation | File | Altmetrics |
---|---|---|---|
2020-01 | CPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020, pp.71-84 | DOI | |
2020-01 | Proceedings of the ACM on Programming Languages, Vol.4 No.POPL, p. 51 | DOI |
1