All 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 Other
All Journal Article Presentation Book
24th International Conference on Implementation and Application of Automata (CIAA 2019) LNCS
Volume: 11601 Pages: 235-247
10.1007/978-3-030-23679-3_19
BigComp 2019
Volume: - Pages: 1-5
10.1109/bigcomp.2019.8679145
Proceedings of the Third Workshop on Software Foundations for Data Interoperability
Volume: 3 Pages: 1-6
10.1109/bigcomp.2019.8679236
Computer Software
Volume: 35 Issue: 4 Pages: 52-71
10.11309/jssst.35.52
130007552516
Proc. of the Coq Workshop 2018
Volume: 1 Pages: 1-2
International Conference on Formal Structures for Computation and Deduction (FSCD 2018)
Volume: 3
10.4230/LIPIcs.FSCD.2018.18
CEUR Workshop Proceedings
Volume: 1827 Pages: 31-38
Journal of Information Processing
Volume: 25 Issue: 0 Pages: 962-974
10.2197/ipsjjip.25.962
130006250672
Mathematical tructures in Computer Science
Volume: online Pages: 916-941
10.1017/s096012951300008x
30th IEEE International Conference on Data Engineering
Volume: 30 Pages: 952-963
10.1109/icde.2014.6816714
Proceedings of 30th International Conference on Data Engineering
Higher-Order and Symbolic Computation
Volume: Volume 25, Issue 1 Pages: 3-38
10.1007/s10990-013-9097-8
Mathematical Structures in Computer Science
Volume: 未定
Proceedings of 18th ACM SIGPLAN International Conference on Functional Programming
Volume: 48 (9) Pages: 305-318
10.1145/2500365.2500608
Progress in Informatics
Volume: 10
Volume: Vol. 10 Pages: 131-148
Mathematical Structures in Computer Science (MSCS)
Volume: Vol. 23
Journal of Functional Programming
Volume: 23(2) Pages: 161-173
10.1017/s0956796812000391
第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013)論文集
Proceedings of 15th International Symposium on Principles and Practice of Declarative Programming
Volume: 15 Pages: 73-84
10.1145/2505879.2505903
Progress in Informatics, Special Issue : Advanced Programming Techniques for Construction of Robust, General and Evolutionary Programs
Volume: No.10 Pages: 131-148
10.2201/niipi.2013.10.7
Volume: 29(2) Issue: 2 Pages: 174-192
10.11309/jssst.29.2_174
130004549266
コンピュータソフトウェア
Volume: (印刷中)(掲載確定)
Programs and Proofs
Pages: 160-172
10.1007/978-3-642-35308-6_14
Volume: 29 (2) Pages: 174-192
Proceedings of ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation
Pages: 5-14
10.1145/2103746.2103752
コンピュータソフトウエア
Volume: 29巻2号 Pages: 174-192
21st International Symposium, LOPSTR 2011, Odense, Denmark, Revised Selected Papers, Lecture Notes in Computer Science
Volume: Vol.7225 Pages: 123-138
10.1007/978-3-642-32211-2_9
In Proceedings of13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
Pages: 17-28
10.1145/2003476.2003482
Volume: 29巻2号 Pages: 74-191
プログラミングおよびプログラミング言語ワークショップ予稿集
Volume: 13 Pages: 146-160
In Proceedings of 4th International Conference on Theory and Practice of Model Transformations
Pages: 138-151
10.1007/978-3-642-21732-6_10
ACM SIGPLAN Notices-ICFP'10
Volume: 45-9 Pages: 205-216
In Proceedings of15th ACM SIGPLAN International Conference on Functional Programming
Pages: 205-216
10.1145/1863543.1863573
Lecture Notes in Computer Science-APLAS'10
Volume: 6461 Pages: 255-270
In Proceedings of 8th Asian Symposium on Programming Languages and Systems
Pages: 255-270
10.1007/978-3-642-17164-2_18
Mathematical Structures in Computer Science (MSCS), Cambridge University Press
Volume: (掲載確定)
