高階書換え系による次世代マルチパラダイム・プログラミング言語の展開
高階書換え系による次世代マルチパラダイム・プログラミング言語の展開
使用高阶重写系统开发下一代多范式编程语言
批准号：
24K02919
负责人：
浜名 誠
金额：
$11.81万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2024
资助国家：
日本
项目状态：
未结题
起止时间：
2024-04-01 至 2029-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Universal Algebraic Datatypes: Theory and Practice on Datatypes based on Higher-Order Rewriting
-
批准号：20H04164
-
项目类别：Grant-in-Aid for Scientific Research (B)
-
资助金额：$11.23万
-
财政年份：2020
-
负责人：浜名 誠
-
依托单位：
副作用を持つ型付き高階関数論理型言語の意味論
-
批准号：98J08894
-
项目类别：Grant-in-Aid for JSPS Fellows
-
资助金额：$2.11万
-
财政年份：1998
-
负责人：浜名 誠
-
依托单位：