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