All 2022 2021 2019 2018 2017 2016 2015 2014 2013 2012 2010 2009 2008 Other
All Journal Article Presentation
第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022)
Volume: －
Proc. 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Volume: - Pages: 1-14
10.1109/lics.2019.8785668
Volume: - Pages: 1-19
10.1109/lics.2019.8785715
Proc. Foundations of Software Science and Computation Structures FoSSaCS 2018, Lecture Notes in Computer Science
Volume: 10803 Pages: 110-127
10.1007/978-3-319-89366-2_6
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017
Volume: － Pages: 545-556
10.1145/3009837.3009890
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016
Volume: － Pages: 476-489
10.1145/2951913.2951939
Lecture Notes in Computer Science
Volume: 9634 Pages: 513-530
10.1007/978-3-662-49630-5_30
Algebra and Coalgebra in Computer Science (CALCO 2015)
Volume: LIPIcs 35 Pages: 156-170
10.4230/LIPIcs.CALCO.2015.156
ACM SIGPLAN Notices - POPL '14
Volume: 49-1 Issue: 1 Pages: 633-645
10.1145/2578855.2535846
Proc. of ACM Symposium on Principles of Programming Languages
Volume: POPL 2014 Pages: 633-645
Volume: 7794 Pages: 145-160
10.1007/978-3-642-37075-5_10
Information and Computation
Volume: 222 Pages: 228-246
10.1016/j.ic.2012.10.014
In Mathematical Proceedings of Cambridge Philosophical Society volume 148
Pages: 107-109
Mathematical Proceedings of the Cambridge Philosophical Society 148(1)
In Proc.APLAS 2010(Springer) LNCS 6461
Pages: 222-238
Lecture Notes in Computer Science (Proc.Asian Symposium on Programming Languages and Systems APLAS 2010)
Volume: 6461 Pages: 222-238
Mathematical Proceedings of Cambridge Philosophical Society 148
RIMS preprint 1676
Pages: 1-25
RIMS preprint 1676, Kyoto University.
In Proc.ICALP 2008, Part II(Springer) LNCS 5126
Pages: 271-282
