A Theory of Inductive Data Types Involving Safe Pointers
A Theory of Inductive Data Types Involving Safe Pointers
涉及安全指针的归纳数据类型理论
批准号：
19700006
负责人：
HAMANA Makoto
金额：
$1.47万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2007
资助国家：
日本
项目状态：
已结题
起止时间：
2007 至 2009
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Cyclic sharing tree structures appear very often in logic and theoretical computer science. We investigate a mathematically clean representation of them. We apply the obtained representation to inductive datatypes in functional programming languages.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Induetive Cychc Shamig Data Stnlctures
归纳循环沙米格数据结构
归纳循环沙米格数据结构
DOI：
--
发表时间：
2008
期刊：
影响因子：
--
作者：
[Kazuo Iwama, Harumichi Nishimura, Mike Paterson, Rudy Raymond, Shigeru Yamashita, 浜名誠]
通讯作者：
浜名誠
What is the Category for Haskell?
Haskell 的类别是什么？
Haskell 的类别是什么？
DOI：
--
发表时间：
2007
期刊：
影响因子：
--
作者：
[Kazuo Iwama, Harumichi Nishimura, Mike Paterson, Rudy Raymond, Shigeru Yamashita, 浜名誠, 浜名誠, 浜名誠]
通讯作者：
浜名誠
DOI：
--
发表时间：
2010
期刊：
Functional and(Constraint)Logic Programming(WELP 2009) LNCS 5979
影响因子：
--
作者：
[Harumichi Nishimura, Rudy Raymond, M.Hamana]
通讯作者：
M.Hamana
Term Syntax for Cyclic Sharing Structures
循环共享结构的术语语法
循环共享结构的术语语法
DOI：
--
发表时间：
2008
期刊：
影响因子：
--
作者：
[Kazuo Iwama, Harumichi Nishimura, Mike Paterson, Rudy Raymond, Shigeru Yamashita, 浜名誠, 浜名誠]
通讯作者：
浜名誠
Dependable Data Structures by Dependent Types
-
批准号：22700004
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$2.5万
-
财政年份：2010
-
负责人：HAMANA Makoto
-
依托单位：