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