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