Principles of Higher-Order Universal Algebraic Datatypes
Principles of Higher-Order Universal Algebraic Datatypes
高阶通用代数数据类型的原理
批准号：
17K00092
负责人：
Hamana Makoto
金额：
$2.91万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2017
资助国家：
日本
项目状态：
已结题
起止时间：
2017-04-01 至 2021-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Confluence Competition 2018
2018年汇流大赛
2018年汇流大赛
DOI：
10.4230/lipics.fscd.2018.32
发表时间：
2018
期刊：
Leibniz International Proceedings in Informatics (LIPIcs)
影响因子：
--
作者：
[T. Aoto, M. Hamana, N. Hirokawa, A. Middeldorp J. Nagele, N. Nishida, K. Shintani, and Harald Zankl]
通讯作者：
and Harald Zankl
Polymorphic Rewrite Rules: Confluence, Type Inference, and Instance Validation
多态重写规则：汇合、类型推断和实例验证
多态重写规则：汇合、类型推断和实例验证
DOI：
10.1007/978-3-319-90686-7_7
发表时间：
2018
期刊：
Lecture Notes in Computer Science
影响因子：
--
作者：
[木本真理究, 竹川俊也, 打木陸雄, 松林和也, 竹島由里子, 植村誠, 藤代一成, M. Hamana]
通讯作者：
M. Hamana
ホームページ
主页
主页
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
How to prove decidablity of equational theories with second-order computation analyser SOL
如何使用二阶计算分析器 SOL 证明方程理论的可判定性
如何使用二阶计算分析器 SOL 证明方程理论的可判定性
DOI：
10.1017/s0956796819000157
发表时间：
2019
期刊：
Journal of Functional Programming
影响因子：
1.1
作者：
[Ferenc Nagy, Norimasa Yoshida, M.Hamana]
通讯作者：
M.Hamana
関数プログラム・計算系の分割停止性検証: 外山-Klop-Barendregt の定理の高階化
功能程序和计算系统的可破坏性验证：Toyama-Klop-Barendregt 定理的高阶
功能程序和计算系统的可破坏性验证：Toyama-Klop-Barendregt 定理的高阶
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[藤岡 亮, 浜名 誠, M. Hamana, 浜名誠]
通讯作者：
浜名誠
共 14 条
海外基金