浅井 健一  Asai Kenichi

プログラミングおよびプログラミング言語ワークショップ論文集

巻: 26 ページ: 1-17

第２６回プログラミングおよびプログラミング言語ワークショップ論文集

巻: -

プログラミングおよびプログラミング言語ワークショップ論文集

巻: 25 ページ: 1-13

Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation

巻: N/A ページ: 55-65

10.1145/3571786.3573015

第２４回プログラミングおよびプログラミング言語ワークショップ論文集

巻: -

Proceedgings of the 21st ACM SGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2022)

巻: - ページ: 45-58

10.1145/3564719.3568691

プログラミングおよびプログラミング言語ワークショップ論文集

巻: 24 ページ: 1-23

Lecture Notes in Computer Science

巻: 13401 ページ: 59-79

10.1007/978-3-031-21314-4_4

Logical Methods in Computer Science

巻: Volume 18, Issue 3 ページ: 1-31

10.46298/lmcs-18(3:34)2022

第２４回プログラミングおよびプログラミング言語ワークショップ論文集

巻: -

プログラミングおよびプログラミング言語ワークショップ論文集

巻: 23 ページ: 1-16

6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021)

巻: -

第２３回プログラミングおよびプログラミング言語ワークショップ論文集

巻: ー ページ: 1-19

6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021)

巻: -

Lecture Notes in Computer Science

巻: 12053 ページ: 38-57

10.1007/978-3-030-47147-7_3

コンピュータ ソフトウェア

巻: 36 号: 2 ページ: 2_47-2_60

10.11309/jssst.36.2_47

130007667001

Electronic Proceedings in Theoretical Computer Science

巻: 未定 ページ: 1-18

ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM '19)

巻: - ページ: 61-67

10.1145/3294032.3294084

プログラミングおよびプログラミング言語ワークショップ論文集

巻: 21 ページ: 1-15

ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

巻: 2018 ページ: 40-52

16th Asian Symposium on Programming Languages and Systems (APLAS 2018),LNCS 11275

巻: - ページ: 375-393

10.1007/978-3-030-02768-1_20

Proceedings of the ACM on Programming Languages

巻: Vol. 2, Issue ICFP 号: ICFP ページ: 31-31

10.1145/3236764

プログラミングおよびプログラミング言語ワークショップ論文集

巻: 20 ページ: 1-17

プログラミングおよびプログラミング言語ワークショップ論文集

巻: 20 ページ: 1-17

130007667001

EPiC Series in Computing

巻: 39 ページ: 42-54

Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, EPiC Series in Computing

巻: 39 ページ: 1-13

Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation

巻: なし ページ: 97-102

10.1145/2847538.2847547

第１８回プログラミングおよびプログラミング言語ワークショップ予稿集（オンライン）

巻: なし ページ: 1-15

第17回プログラミングおよびプログラミング言語ワークショップ論文集（オンライン）

巻: 17 ページ: 13-13

170000151297

Proc. of ACM SIGPLAN Workshop on Programming Language meets Program Verification

巻: 2014 ページ: 41-46

10.1145/2541568.2541572

Proc. of 2014 Symp. on Principles and Practice of Declarative Programming

巻: 16 ページ: 57-68

International Conference on Generative Programming: Concepts and Experiences

巻: - ページ: 113-122

10.1145/2658761.2658775

プログラミングおよびプログラミング言語ワークショップ論文集

巻: 15

Higher-Order and Symbolic Computation

巻: Vol. 24, Issue 4 号: 4 ページ: 311-340

10.1007/s10990-012-9087-2

Generative Programming and Component Engineering

巻: 10 ページ: 97-106

10.1145/2047862.2047882

Theory and Practice of Delimited Continuations (TPDC 2011)

ページ: 33-46

Proc.Theory and Practice of Delimited Continuations (TPDC 2011)

ページ: 33-46

International Symposium on Logic-Based Program Synthesis andTransformation (LOPSTR), Lecture Notes in Computer Science

巻: 6564 ページ: 84-98

Proc.of the 20th Int.Sym.on Logic-Based Program Synthesis and Transformation, LNCS

巻: 6564 ページ: 84-98

コンピュータソフトウェア (掲載予定)

10026562906

第12回プログラミングおよびプログラミング言語ワークショップ論文集

ページ: 115-129

第12回プログラミングおよびプログラミング言語ワークショップ

ページ: 34-48

第12回プログラミングおよびプログラミング言語ワークショップ論文集

ページ: 191-205

第12回プログラミングおよびプログラミング言語ワークショップ論文集

ページ: 34-48

第12回プログラミングおよびプログラミング言語ワークショップ

ページ: 206-220

第12回プログラミングおよびプログラミング言語ワークショップ論文集

ページ: 64-76

第12回プログラミングおよびプログラミング言語ワークショップ

ページ: 191-205

Principles and Practice of Declarative Programming

ページ: 87-97

第12回プログラミングおよびプログラミング言語ワークショップ

ページ: 115-129

第12回プログラミングおよびプログラミング言語ワークショップ論文集

ページ: 206-220

コンピュータソフトウェア 16pages(掲載決定済み)

2009 ACM SIGPLAN Workshop on ML

ページ: 49-60

第11回プログラミングおよびプログラミング言語ワークショップ

ページ: 149-162

第11回プログラミングおよびプログラミング言語ワークショップ

ページ: 163-177

第1 1回プログラミングおよびプログラミング言語ワークショップ

ページ: 149-162

コンピュータソフトウェア Vol.26,No.2

ページ: 3-17

10025982342

コンピュータソフトウェア 26:2

ページ: 3-17

10025982342

Higher-Order and Symbolic Computation 22:3

ページ: 275-291

Higher-Order and Symbolic Computation Vol.22,No.3(Springer)

ページ: 275-291

Proc.Workshop on Normalization by Evaluation

ページ: 57-64

コンピュータソフトウェア (掲載決定済み)

ページ: 15-15

10025982342

Proceedings of the 2009 ACM SIGPLAN Workshop on ML

ページ: 49-60

Austrian -Jap ane se Workshop on Symbolic Computation in Software Science (scss 2008)

ページ: 96-108

プログラミングおよびプログラミング言語ワークショップ

ページ: 111-125

10025982342

5th Asian Symposium on Programming Languages and Systems (LNCS 4807)

ページ: 239-254

5^<th> Asian Symposium on Programming Languages and Systems (LNCS 4807)

ページ: 239-254

A Chater of Trends in Functional Programming Vol. 6

ページ: 63-78

a chapter of Trends in Functional Programming (To appear)

ページ: 63-78

5th Asian Symposium on Programming Languages and Systems LNCS 4807

ページ: 239-254

A Chapter of Trends in Functional Programming Vol.6

ページ: 63-78