All 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 Other
All Journal Article Presentation Book Patent
Proceedings of European Conference on Object-Oriented Programming (ECOOP2020)
Volume: -
Proceedings of European Symposium on Programming (ESOP 2019)
Volume: 11423 Pages: 1-28
10.1007/978-3-030-17184-1_13
Proceedings of Asian Symposium on Programming Languages and Systems (APLAS2019)
Volume: - Pages: 33-52
10.1007/978-3-030-34175-6_3
Science of Computer Programming
Volume: 179 Pages: 54-86
10.1016/j.scico.2019.03.008
120006629250
Journal of Functional Programming
Volume: 29
10.1017/s0956796819000169
Proceedings of the ACM on Programming Languages
Volume: 3
10.1145/3290331
Proceedings of ACM PPDP
10.1145/3236950.3236964
J. Autom. Reasoning
Volume: 60(3) Pages: 279-298
10.1007/s10817-017-9428-2
Proceedings of PEPM 2018
Volume: - Pages: 2-14
10.1145/3162070
Proceedings of European Conference on Object-Oriented Programming (LIPIcs series)
Volume: 109
10.4230/LIPIcs.ECOOP.2018.2
Volume: 156 Pages: 104-120
10.1016/j.scico.2018.01.006
Proceedings of 15th Asian Symposium on Programming Languages and Systems (APLAS 2017)
Volume: 無 Pages: 514-533
10.1007/978-3-319-71237-6_25
Proceedings of PEPM 2017
Volume: - Pages: 59-70
10.1145/3018882.3018886
Proceedings of ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Volume: - Pages: 530-544
10.1145/3009837.3009875
Volume: 1 Pages: 1-29
10.1145/3110284
Volume: 1 Issue ICFP
10.1145/3110282
Proceedings of SOFSEM 2018, Springer LNCS
Volume: 10706 Pages: 611-623
10.1007/978-3-319-73117-9_43
ACM Transactions on Programming Languages and Systems
Volume: 39 Pages: 1-36
10.1145/2994594
日本ソフトウェア科学会第33回大会論文集
40021053614
Volume: －
Lecture Notes in Computer Science (Proceedings of Asian Symposium on Programming Languages and Systems)
Volume: 9458 Pages: 189-207
10.1007/978-3-319-26529-2_11
第17回プログラミングおよびプログラミング言語ワークショップ(PPL2015)論文集
Volume: 1
Proceedings of ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
Volume: 1 Pages: 195-207
10.1145/2676726.2676996
Online Proceedings of ACM Workshop on ML
Programming Languages and Systems - 12th Asian Symposium, {APLAS} 2014, Singapore, November 17-19, 2014, Proceedings
Volume: 8858 Pages: 58-77
10.1007/978-3-319-12736-1_4
第14回プログラミングおよびプログラミング言語ワークショップ(PPL 2014)オンライン論文集
Volume: 1 Pages: 1-18
Proc. of International Symposium on Functional and Logic Programming (Lecture Notes in Computer Science)
Volume: 印刷中
Proceedings of ESOP 2013, LNCS
Volume: 7792 Pages: 431-450
10.1007/978-3-642-37036-6_24
Lecture Notes in Computer Science
Volume: 8301 Pages: 58-73
Proceedings of 19th International Workshop on Foundations of Object-Oriented Languages (FOOL 2012)
Volume: 0 Pages: 13-24
Proc. of the International Workshop on Foundations of Object-Oriented Languages
Pages: 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
Volume: 1 Pages: 13-24
第14回プログラミングおよびプログラミング言語ワークショップ(PPL2012)論文集
Proceedings of19th International Workshop on Foundationsof Object-Oriented Languages (FOOL 2012)
http://www.cs.uwm.edu/~boyland/fool2012/
The 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2012, part of SPLASH 2012
Volume: 27 Pages: 1-20
10.1145/2384616.2384618
Proceedings of Foundations of Aspect-Oriented Languages (FOAL2011)
Pages: 25-29
Information and Computation
Volume: Vol.209(12) Pages: 1491-1503
Proc. Of European Symposium on Programming
Volume: 6602 Pages: 18-37
10.1007/978-3-642-19718-5_2
Proc.of European Symposium on Programming (Springer LNCS series)
Proc.of ACM OOPSLA
Volume: LNCS 6813 Pages: 433-433
10.1007/978-3-642-22655-7_20
Volume: 209(12) Pages: 1491-1503
Proc.of ECOOP 2011, Springer LNCS series
Volume: 6813 Pages: 433-433
10.1145/2048066.2048114
Proceedings of Foundationsof Aspect-Oriented Languages (FOAL2011)
10.1145/1960510.1960515
Proceedings of the 9th InternationalConference on Aspect-Oriented Software Development (AOSD'10)
Pages: 121-132
10.1145/1739230.1739245
Logical Methods in Computer Science
Volume: 6(4:8)巻 Pages: 1-43
Proceedings of European Symposium on Programming (ESOP2011)
ACM OOPSLA 2010
Pages: 539-554
Volume: 6(4:8) Pages: 1-43
Volume: Vol.6(4:8) Pages: 1-43
Volume: 6巻 Pages: 1-43
Volume: 6 Pages: 1-43
Logical Methods in Computer Science 6(4:8)
Pages: 1-43
Logical Methods in ComputerScience
コンピュータソフトウェア
Volume: 26 Pages: 18-40
10025982355
Proceedings of the 24th ACM Symposium on Applied Computing
Proc. Of ACM OOPSLA
Pages: 263-282
10.1145/1640089.1640109
Proc.of Workshop on Script to Program Evolution
コンピュータソフトウェア 26
Pages: 18-40
Proceedings of the 9th International Conference on Typed Lambda-Calculi and Applications (TLCA'09), LNCS 5608
Pages: 341-355
Proceedings of OOPSLA 2009
Proceedings of the 9th International Conference on Typed Lambda Calculi and Applications(TLCA'09)
Proc. Of Workshop on Script to Program Evolution
Pages: 17-29
10.1145/1570506.1570509
Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC2009)
Pages: 1851-1858
Proc.TLCA'09(Springer LNCS) 5608
コンピュータソフトウェア 26(2)
Journal of Object Technology 7
Pages: 67-99
Frontiers of Computer Science in China 2 (1)
Pages: 12-21
Frontiers of Computer Science in China 2(1)
Journal of Object Technology 7(5)
Journal of Functional Programming 18(3)
Pages: 285-331
IPSJ Transactions on Programming 48(SIG 4(PRO 32))
Pages: 48-61
110006242945
Asian Symposium on Programming Languages and Systems (APLAS 2007)
Pages: 206-221
Journal of Object Technology 6・2
Pages: 47-68
Proc. Of ACM OOPSLA 2007
Pages: 113-132
Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
Proceedings of the International Workshop on Foundations and Developments of Object-Oriented Languages
Pages: 38-49
Proceedings of the 9th Workshop on Formal Techniques for Java-like Programs (FTfJP 2007)
Pages: 27-41
Proc. of the 9th Workshop on Formal Techniques for Tava-like Programs (FTfJP 2007)
Journal of Object Technology 6(2)
Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2007)
情報処理学会プログラミング研究会論文誌 48・SIG4
Proceedings of the International Workshop on Foundations and Developments of Object-Oriented Languages (FOOL/WOOD 2007)
Languages and Systems (APLAS 2007)
In Proc.Of the International Workshop on Foundations and Developments of Object-Oriented Languages (FOOL/WOOD2007)
情報処理学会論文誌:プログラミング 48(SIG4(PRO32))
Proceedings of the 21st Annual ACM Symposium on Applied Computing
Pages: 1435-1441
ACM Transactions on Programming Languages and Systems 28・5
Pages: 795-847
In Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC2006)
Proceedings of ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation(PEPM'06)
Pages: 38-47
ACM Transactions on Programming Languages and Systems 28(5)
Proceedings of ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation (PEPM 2006)
Proceedings of the 8th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
Pages: 201-212
The 21st Annual ACM Symposium on Applied Computing
Proceedings of the 11th Annual Asian Computing Science Conference(ASIAN'06) 4435
Pages: 302-316
Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC2006)
第8回プログラミングおよびプログラミング言語ワークショップ(PPL2006)オンライン論文集
Pages: 134-149
Proceedings of the 3rd Asian Symposium on Programming Languages and Systems
ACM Transactions on Programming Languages and Systeis 27・2
Pages: 264-313
Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures
ACM Transactions on Programming Languages and Systems 27・2
ACM Transactions on Programming Languages and Systems 27(2)
ACM Transactions on Programming Languages and Systems (in print)
Pages: 161-177
The 3rd Asian Symposium on Programming Languages and Systems
Proc. of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures
情報処理 45・6
Pages: 610-617
110002711391
Theoretical Computer Science 311(1-3)
Pages: 121-163
Theoretical Computer Science 311・1-3
Information and Computation 177(1)
Pages: 56-89
Information and Computation 175(1)
Pages: 34-49
Information and Computation 175・1
Proceedings of ACM Symposium on Principles of Programming Languages
Pages: 331-342
Proceedings of the 16th European Conference on Object-Oriented Programming
Pages: 441-469
Information and Computation 177・1
Journal of Functional Programming (印刷中)
ACM Transactions on Programming Languages and Systems. (in print)
Proceedings of the 11th Annual Asian Computing Science Conference (ASIAN' 06) (印刷中)
Volume: (印刷中)
ACM Transactions on Programming Languages and Systems (In print)
