All 2023 2022 2021 2019 2018 2017 2016
All Journal Article Presentation
Proceedings of the ACM on Programming Languages
Volume: 7 Issue: POPL Pages: 604-631
10.1145/3571214
Volume: 6 Issue: POPL Pages: 1-29
10.1145/3498725
Proceedings of CONCUR 2021, LIPIcs
Volume: 203
Proceedings of the ACM on Programming Languages (ICFP)
Volume: 5 Issue: ICFP Pages: 1-30
10.1145/3473600
Proceedings of FSCD 2021, LIPIcs
Volume: 195
Logical Methods in Computer Science
Volume: Volume 17, Issue 4 Pages: 1-36
10.46298/lmcs-17(4:15)2021
ACM Transactions on Programming Languages and Systems
Volume: 43 Issue: 4 Pages: 1-54
10.1145/3462205
Proceedings of PEPM 2021, ACM Press
Volume: - Pages: 44-57
10.1145/3441296.3441396
Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction
Proceedings of APLAS 2021, Springer LNCS
Volume: 13008 Pages: 265-284
10.1007/978-3-030-89051-3_15
Proceedings of the 28th European Symposium on Programming
Volume: 0 Pages: 640-667
10.1007/978-3-030-17184-1_23
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
Volume: - Pages: 889-898
10.1145/3209108.3209157
Proceedings of the 27th European Symposium on Programming
Volume: 0 Pages: 711-738
10.1007/978-3-319-89884-1_25
Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures
Volume: 0 Pages: 53-68
10.1007/978-3-662-54458-7_4
Foundations of Software Science and Computation Structures
Volume: 10203 of LNCS Pages: 389-406
10.1007/978-3-662-54458-7_23
Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Volume: 0 Pages: 59-70
Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction
Volume: 0
10.4230/LIPIcs.FSCD.2017.32
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science
Volume: 0 Pages: 1-12
10.1109/lics.2017.8005093
Programming Languages and Systems
Volume: 10017 of LNCS Pages: 335-353
10.1007/978-3-319-47958-3_18
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science
Volume: 0 Pages: 237-246
10.1145/2933575.2934553