All 2021 2020 2019 2018 2017 2016 2015 2014 Other
All Journal Article Presentation Book
Journal of Functional Programming
Volume: 31
10.1017/s0956796820000271
Lecture Notes in Computer Science
Volume: 12331 Pages: 231-243
10.1007/978-3-030-58790-1_15
Volume: 30
10.1017/s095679682000009x
Lecture Notes in Computer Science (in Press)
Volume: in press
日本ソフトウェア科学会第37回大会, 2020
Volume: -
Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14, 2020, Proceedings (Lecture Notes in Computer Science Book 12073)
Volume: 12073 Pages: 66-87
10.1007/978-3-030-59025-3_5
Volume: 11717 Pages: 313-324
10.1007/978-3-030-31605-1_23
Electronic Proceedings in Theoretical Computer Science
Volume: 294 Pages: 15-40
10.4204/eptcs.294.2
Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Volume: - Pages: 75-81
10.1145/3294032.3294078
Volume: 10818 Pages: 33-50
10.1007/978-3-319-90686-7_3
NII Shonan Seminar Report,
Volume: No. 2018-7
Volume: 10838 Pages: 241-252
10.1007/978-3-319-93794-6_17
Volume: 285 Pages: 23-58
10.4204/eptcs.285.2
NII Shonan Seminar Report
Volume: No.2018-14
Informal Proc. HOPE 2017 at ICFP 2017. Oxford, UK, Sep 3, 2017
Volume: na
Volume: 10695 Pages: 364-383
10.1007/978-3-319-71237-6_18
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Volume: なし Pages: 103-108
10.1145/2847538.2847548
Volume: なし Pages: 37-48
10.1145/2847538.2847542
Science of Computer Programming
Volume: 112 Pages: 120-144
10.1016/j.scico.2015.08.007
第17回プログラミングおよびプログラミング言語ワークショップ論文集(オンライン)
Volume: 17 Pages: 17-17
Volume: 17 Pages: 11-11
Proc. of ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Volume: 2014 Pages: 3-14
10.1145/2543728.2543740