浜名 誠
ハマナ マコト (Makoto Hamana)
更新日: 04/17
論文
51
表示件数
-
Logical Methods in Computer Science Volume 18, Issue 2 2022年6月14日 査読有り筆頭著者責任著者
-
Mathematical Structures in Computer Science 32(4) 542-573 2022年4月 査読有り筆頭著者責任著者
-
コンピュータ ソフトウェア 39(3) 82-87 2022年 査読有り最終著者
-
Sci. Comput. Program. 187(15 February 2020, 102322) 102322-102322 2020年 査読有り筆頭著者
-
Journal of Functional Programming 29(e20) 2019年 査読有り
-
the Leibniz International Proceedings in Informatics (LIPIcs) 108 32:1-32:5 2018年7月 査読有り
-
Mathematical Structures in Computer Science 28(2) 287-337 2018年2月1日 査読有り筆頭著者責任著者
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10818 99-115 2018年 査読有り
-
Proceedings of the ACM on Programming Languages 1(22) 1-28 2017年9月 査読有り
-
Proc. International Workshop on Unification (UNIF'17) 1-6 2017年9月 査読有り
-
Logical Methods in Computer Science 13(4) 1-38 2017年 査読有り
-
The 1st International Conference on Formal Structures for Computation and Deduction (FSCD'16) 2016年4月 査読有り
-
Electronic Proceedings in Theoretical Computer Science, EPTCS 191(191) 75-89 2015年9月9日 査読有り
-
Multiversal Polymorphic Algebraic Theories - Syntax, Semantics, Translations, and Equational Logic -2013 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS) 520-529 2013年 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7294 136-150 2012年 査読有り
-
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES 6604 381-395 2011年
-
WGP 11: PROCEEDINGS OF THE 2011 ACM SIGPLAN WORKSHOP ON GENERIC PROGRAMMING 59-70 2011年 査読有り
-
FUNCTIONAL AND CONSTRAINT LOGIC PROGRAMMING 5979 62-78 2010年 査読有り
-
LOGICAL METHODS IN COMPUTER SCIENCE 6(3) 127-141 2010年
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5979 62-78 2010年 査読有り