Foundations of Dependable Datatypes by Dependent Types
Foundations of Dependable Datatypes by Dependent Types
依赖类型的可靠数据类型的基础
批准号：
24300001
负责人：
Makoto Hamana
金额：
$4.08万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2012
资助国家：
日本
项目状态：
已结题
起止时间：
2012-04-01 至 2016-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Tani, M., Michihiro OGAWA, 浜名誠]
通讯作者：
浜名誠
Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic
多元多态代数理论：句法、语义、翻译和方程逻辑
多元多态代数理论：句法、语义、翻译和方程逻辑
DOI：
10.1109/lics.2013.59
发表时间：
2013
期刊：
Proc. of Twenty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2013)
影响因子：
--
作者：
[Shin-ya Katsumata, Tetsuya Sato, 伊関 友伸, Shin-ya Katsumata, M. Fiore and M. Hamana]
通讯作者：
M. Fiore and M. Hamana
Correct Looping Arrows from Cyclic Terms - Traced Categorical Interpretation in Haskell
循环项中正确的循环箭头 - Haskell 中的追踪分类解释
循环项中正确的循环箭头 - Haskell 中的追踪分类解释
DOI：
10.1007/978-3-642-29822-6_13
发表时间：
2012
期刊：
影响因子：
--
作者：
[M. Hamana]
通讯作者：
M. Hamana
Polymorphic Abstract Syntax via Grothendieck Construction
通过 Grothendieck 构造的多态抽象语法
通过 Grothendieck 构造的多态抽象语法
DOI：
--
发表时间：
2013
期刊：
影响因子：
--
作者：
[Abe H, Inoue-Murayama M, M. Hamana]
通讯作者：
M. Hamana
Constructing Correct Looping Arrows from Cyclic Terms : Traced Categorical Interpretation in Haskell
从循环项构建正确的循环箭头：Haskell 中的追踪分类解释
从循环项构建正确的循环箭头：Haskell 中的追踪分类解释
DOI：
--
发表时间：
2012
期刊：
影响因子：
--
作者：
[Shoji Noguchi, Yoshiko Kosugi, Makoto Tani, Satoru Takanashi, Abd Rahman Lassim, Siti Aisah Shamsuddin, M. Hamana]
通讯作者：
M. Hamana
共 11 条
Semantics of Core Haskell -- Towards Foundations of Verification of Advanced Functional Programs
-
批准号：25540002
-
项目类别：Grant-in-Aid for Challenging Exploratory Research
-
资助金额：$2.41万
-
财政年份：2013
-
负责人：Makoto Hamana
-
依托单位：
海外基金