関山 太朗  Sekiyama Taro

Proceedings of the ACM on Programming Languages (POPL)

巻: 8 号: POPL ページ: 115-147

10.1145/3633280

Proceedings of the ACM on Programming Languages (PLDI)

巻: - 号: PLDI ページ: 1585-1608

10.1145/3656441

Proceedings of the ACM on Programming Languages

巻: 7 号: POPL ページ: 2079-2110

10.1145/3571264

日本ソフトウェア科学会第39回大会論文集

巻: -

日本ソフトウェア科学会第39回大会論文集

巻: ー

Proceedings of the ACM on Programming Languages (ICFP)

巻: 5 号: ICFP ページ: 1-30

10.1145/3473600

Lecture Notes in Computer Science (SAS)

巻: 12913 ページ: 236-260

10.1007/978-3-030-88806-0_12

Informal Proceedings of Scheme and Functional Programming Workshop

巻: ー

Proceedings of the ACM on Programming Languages (ICFP)

巻: 4 号: ICFP ページ: 1-30

10.1145/3408999

Proceedings of AAAI Conference on Artificial Intelligence (AAAI)

巻: 34 号: 04 ページ: 5306-5314

10.1609/aaai.v34i04.5977

Proceedings of AAAI'20

巻: －