Author
Showing results 1 to 11 of 11
Issue Date | Title / Author(s) / Citation | File | Altmetrics |
---|---|---|---|
2014-06 | SIGPLAN Notices (ACM Special Interest Group on Programming Languages), Vol.49 No.6, pp.133-144 | DOI | |
2018-06 | Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.631-645 | ||
2018-11 | Proceedings of the ACM on Programming Languages, Vol.2 No.OOPSLA | DOI | |
2019-01 | Lecture Notes in Computer Science, Vol.11562 LNCS, pp.445-455 | DOI | |
2019-06 | Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.1-15 | ||
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. 23 | DOI | |
2020-01 | Proceedings of the ACM on Programming Languages, Vol.4 No.POPL, p. 51 | DOI | |
2020-06 | Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.362-376 | DOI | |
2021-06 | Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.65-79 | DOI | |
2022-06 | Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp.213-228 | DOI |