五十嵐 淳  Igarashi Atsushi

Proc. of FLOPS 2024

巻: ー

Proceedings of the ACM on Programming Languages (PLDI)

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

10.1145/3656441

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

巻: ー

第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023)論文集

巻: -

Proceedings of ACCV 2022

巻: 13847 ページ: 274-290

10.1007/978-3-031-26293-7_17

Proc. of ESOP 2023

巻: 13990 ページ: 281-308

10.1007/978-3-031-30044-8_11

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

巻: ー

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

巻: ー

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

巻: ー

New Generation Computing

巻: 40 号: 2 ページ: 507-540

10.1007/s00354-022-00167-1

Proceedings of TACAS 2021, Springer LNCS

巻: 12652 ページ: 262-280

10.1007/978-3-030-72013-1_14

Informal Proceedings of Scheme and Functional Programming Workshop

巻: ー

ACM Transactions on Programming Languages and Systems

巻: 43 号: 4 ページ: 1-54

10.1145/3462205

Proceedings of ESOP 2020, Springer LNCS

巻: 12075 ページ: 684-714

10.1007/978-3-030-44914-8_25

120006879514

arXiv

巻: ー

Proceedings of ESOP 2020, Springer LNCS

巻: 12075 ページ: 484-514

10.1007/978-3-030-44914-8_18

Proceedings of European Conference on Object-Oriented Programming (ECOOP2020)

巻: -

Asian Symposium on Programming Languages and Systems (APLAS2019)

巻: - ページ: 53-72

10.1007/978-3-030-34175-6_4

120006800752

Proceedings of European Symposium on Programming (Springer LNCS)

巻: 11423 ページ: 1-28

10.1007/978-3-030-17184-1_13

Proceedings of Asian Symposium on Programming Languages and Systems (APLAS2019)

巻: - ページ: 33-52

10.1007/978-3-030-34175-6_3

120006800753

Science of Computer Programming

巻: 179 ページ: 54-86

10.1016/j.scico.2019.03.008

120006629250

Journal of Functional Programming

巻: 29

10.1017/s0956796819000169

In Proceedings of the 26th International Symposium (SAS 2019), Lecture Notes in Computer Science

巻: 11822 ページ: 413-436

10.1007/978-3-030-32304-2_20

Proceedings of the ACM on Programming Languages

巻: 3 号: POPL ページ: 1-29

10.1145/3290331

Proceedings of ACM PPDP

巻: - ページ: 1-13

10.1145/3236950.3236964

J. Autom. Reasoning

巻: 60(3) 号: 3 ページ: 279-298

10.1007/s10817-017-9428-2

Proceedings of PEPM 2018

巻: - ページ: 2-14

10.1145/3162070

Leibniz International Proceedings in Informatics (LIPIcs)

巻: 109

10.4230/LIPIcs.ECOOP.2018.2

Science of Computer Programming

巻: 156 ページ: 104-120

10.1016/j.scico.2018.01.006

Proceedings of 15th Asian Symposium on Programming Languages and Systems (APLAS 2017)

巻: 無 ページ: 514-533

10.1007/978-3-319-71237-6_25

Proceedings of PEPM 2017

巻: - ページ: 59-70

10.1145/3018882.3018886

Proceedings of ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

巻: - ページ: 530-544

10.1145/3009837.3009875

Proceedings of the ACM on Programming Languages

巻: 1 号: ICFP ページ: 1-29

10.1145/3110284

Proceedings of the ACM on Programming Languages

巻: 1 Issue ICFP 号: ICFP ページ: 1-28

10.1145/3110282

Proceedings of SOFSEM 2018, Springer LNCS

巻: 10706 ページ: 611-623

10.1007/978-3-319-73117-9_43

ACM Transactions on Programming Languages and Systems

巻: 39 号: 1 ページ: 1-36

10.1145/2994594

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

巻: -

40021053614

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

巻: －

40021053614

Lecture Notes in Computer Science (Proceedings of Asian Symposium on Programming Languages and Systems)

巻: 9458 ページ: 189-207

10.1007/978-3-319-26529-2_11

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

巻: 1

Proceedings of ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)

巻: 1 ページ: 195-207

10.1145/2676726.2676996

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

巻: 1

Online Proceedings of ACM Workshop on ML

巻: -

Lecture Notes in Computer Science (Proceedings of Asian Symposium on Programming Languages and Systems)

巻: 8858 ページ: 58-77

10.1007/978-3-319-12736-1_4

第14回プログラミングおよびプログラミング言語ワークショップ(PPL 2014)オンライン論文集

巻: 1 ページ: 1-18

Proc. of International Symposium on Functional and Logic Programming (Lecture Notes in Computer Science)

巻: 印刷中

Proceedings of ESOP 2013, LNCS

巻: 7792 ページ: 431-450

10.1007/978-3-642-37036-6_24

Lecture Notes in Computer Science

巻: 8301 ページ: 58-73

Proceedings of 19th International Workshop on Foundations of Object-Oriented Languages (FOOL 2012)

巻: 0 ページ: 13-24

Proc. of the International Workshop on Foundations of Object-Oriented Languages

ページ: 13-24

http://www.cs.uwm.edu/~boyland/fool2012/papers/fool2012_submission_9.pdf

Proceedings of the International Workshop on Foundations of Object-Oriented Languages

巻: 1 ページ: 13-24

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

Proceedings of19th International Workshop on Foundationsof Object-Oriented Languages (FOOL 2012)

ページ: 13-24

http://www.cs.uwm.edu/~boyland/fool2012/

Proc. of ACM OOPSLA

巻: 27 ページ: 1-20

10.1145/2384616.2384618

Proceedings of Foundations of Aspect-Oriented Languages (FOAL2011)

ページ: 25-29

Information and Computation

巻: Vol.209(12) ページ: 1491-1503

Proc. Of European Symposium on Programming

巻: 6602 ページ: 18-37

10.1007/978-3-642-19718-5_2

Proc.of European Symposium on Programming (Springer LNCS series)

巻: 6602 ページ: 18-37

Proc. Of European Conference on Object-Oriented Programming

巻: LNCS 6813 ページ: 433-433

10.1007/978-3-642-22655-7_20

Information and Computation

巻: 209(12) ページ: 1491-1503

Proceedings of the 2011 ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications

巻: 6813 ページ: 609-624

10.1145/2048066.2048114

Proceedings of Foundationsof Aspect-Oriented Languages (FOAL2011)

ページ: 25-29

10.1145/1960510.1960515

Proceedings of the 9th InternationalConference on Aspect-Oriented Software Development (AOSD'10)

ページ: 121-132

10.1145/1739230.1739245

Logical Methods in Computer Science

巻: 6(4:8)巻 ページ: 1-43

Proceedings of European Symposium on Programming (ESOP2011)

ACM OOPSLA 2010

ページ: 539-554

Logical Methods in Computer Science

巻: 6(4:8) ページ: 1-43

Logical Methods in Computer Science

巻: Vol.6(4:8) ページ: 1-43

Logical Methods in Computer Science

巻: 6巻 ページ: 1-43

Logical Methods in Computer Science

巻: 6 ページ: 1-43

Logical Methods in Computer Science 6(4:8)

ページ: 1-43

Logical Methods in ComputerScience

巻: Vol.6(4:8) ページ: 1-43

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

巻: 26 ページ: 18-40

10025982355

Proceedings of the 24th ACM Symposium on Applied Computing

Proc. Of ACM OOPSLA

ページ: 263-282

10.1145/1640089.1640109

Proc.of Workshop on Script to Program Evolution

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

10025982355

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

ページ: 18-40

10025982355

Proceedings of the 9th International Conference on Typed Lambda-Calculi and Applications (TLCA'09), LNCS 5608

ページ: 341-355

Proceedings of OOPSLA 2009

ページ: 263-282

Proceedings of the 9th International Conference on Typed Lambda-Calculi and Applications LNCS 5608

ページ: 341-355

Proc.of ACM OOPSLA

ページ: 263-282

Proceedings of the 9th International Conference on Typed Lambda Calculi and Applications(TLCA'09)

ページ: 341-355

Proc. Of Workshop on Script to Program Evolution

ページ: 17-29

10.1145/1570506.1570509

Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC2009)

ページ: 1851-1858

Proc.TLCA'09(Springer LNCS) 5608

ページ: 341-355

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

ページ: 18-40

10025982355

Journal of Object Technology 7

ページ: 67-99

Frontiers of Computer Science in China 2 (1)

ページ: 12-21

Frontiers of Computer Science in China 2(1)

ページ: 12-21

Journal of Object Technology 7(5)

ページ: 67-99

Journal of Functional Programming 18(3)

ページ: 285-331

Frontiers of Computer Science in China 2(1)

ページ: 12-21

IPSJ Transactions on Programming 48(SIG 4(PRO 32))

ページ: 48-61

110006242945

Asian Symposium on Programming Languages and Systems (APLAS 2007)

ページ: 206-221

Journal of Object Technology 6・2

ページ: 47-68

Proc. Of ACM OOPSLA 2007

ページ: 113-132

Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications

ページ: 113-132

Proceedings of the International Workshop on Foundations and Developments of Object-Oriented Languages

ページ: 38-49

Asian Symposium on Programming Languages and Systems (APLAS 2007)

ページ: 206-221

Proceedings of the 9th Workshop on Formal Techniques for Java-like Programs (FTfJP 2007)

ページ: 27-41

Proc. of the 9th Workshop on Formal Techniques for Tava-like Programs (FTfJP 2007)

ページ: 27-41

Journal of Object Technology 6(2)

ページ: 47-68

Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2007)

ページ: 113-132

Journal of Object Technology 6・2

ページ: 47-68

Journal of Object Technology 6(2)

ページ: 47-68

情報処理学会プログラミング研究会論文誌 48・SIG4

ページ: 48-61

Proceedings of the International Workshop on Foundations and Developments of Object-Oriented Languages (FOOL/WOOD 2007)

ページ: 38-49

Languages and Systems (APLAS 2007)

ページ: 206-221

In Proc.Of the International Workshop on Foundations and Developments of Object-Oriented Languages (FOOL/WOOD2007)

ページ: 38-49

情報処理学会論文誌:プログラミング 48(SIG4(PRO32))

ページ: 48-61

ACM Transactions on Programming Languages and Systems

Proceedings of the 21st Annual ACM Symposium on Applied Computing

ページ: 1435-1441

ACM Transactions on Programming Languages and Systems 28・5

ページ: 795-847

In Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC2006)

ページ: 1435-1441

Proceedings of ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation(PEPM'06)

ページ: 38-47

ACM Transactions on Programming Languages and Systems 28(5)

ページ: 795-847

Proceedings of ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation (PEPM 2006)

ページ: 38-47

ACM Transactions on Programming Languages and Systems 28・5

ページ: 795-847

Proceedings of the 8th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

ページ: 201-212

Proceedings of the 21st Annual ACM Symposium on Applied Computing

ページ: 1435-1441

The 21st Annual ACM Symposium on Applied Computing

Proceedings of the 11th Annual Asian Computing Science Conference(ASIAN'06) 4435

ページ: 302-316

ACM Transactions on Programming Languages and Systems 28(5)

ページ: 795-847

Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC2006)

ページ: 1435-1441

第8回プログラミングおよびプログラミング言語ワークショップ(PPL2006)オンライン論文集

ページ: 134-149

Proceedings of the 3rd Asian Symposium on Programming Languages and Systems

ACM Transactions on Programming Languages and Systeis 27・2

ページ: 264-313

Proceedings of the 3rd Asian Symposium on Programming Languages and Systems

Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures

ACM Transactions on Programming Languages and Systems 27・2

ページ: 264-313

ACM Transactions on Programming Languages and Systems 27(2)

ページ: 264-313

ACM Transactions on Programming Languages and Systems (in print)

ACM Transactions on Programming Languages and Systems (in print)

Proceedings of the 3rd Asian Symposium on Programming Languages and Systems

ページ: 161-177

The 3rd Asian Symposium on Programming Languages and Systems

ページ: 161-177

Proc. of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures

情報処理 45・6

ページ: 610-617

110002711391

情報処理 45・6

ページ: 610-617

110002711391

Theoretical Computer Science 311(1-3)

ページ: 121-163

Theoretical Computer Science 311・1-3

ページ: 121-163

Information and Computation 177(1)

ページ: 56-89

Information and Computation 175(1)

ページ: 34-49

Information and Computation 175・1

ページ: 34-49

Proceedings of ACM Symposium on Principles of Programming Languages

ページ: 331-342

Proceedings of the 16th European Conference on Object-Oriented Programming

ページ: 441-469

Information and Computation 177・1

ページ: 56-89

Journal of Functional Programming (印刷中)

ACM Transactions on Programming Languages and Systems. (in print)

Proceedings of the 11th Annual Asian Computing Science Conference (ASIAN' 06) (印刷中)

Science of Computer Programming

巻: (印刷中)

ACM Transactions on Programming Languages and Systems (In print)