Semantics of Core Haskell -- Towards Foundations of Verification of Advanced Functional Programs
Semantics of Core Haskell -- Towards Foundations of Verification of Advanced Functional Programs
Haskell 核心语义——迈向高级功能程序验证的基础
批准号：
25540002
负责人：
Makoto Hamana
金额：
$2.41万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Challenging Exploratory Research
财政年份：
2013
资助国家：
日本
项目状态：
已结题
起止时间：
2013-04-01 至 2016-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(23)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
モナド、代数理論と計算効果
单子、代数理论和计算效应
单子、代数理论和计算效应
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Shin-ya Katsumata, Tetsuya Sato, 伊関 友伸, Shin-ya Katsumata, M. Fiore and M. Hamana, 伊関 友伸, 浜名誠, 伊関 友伸, Hiroaki Anada, 白川 展之, 浜名誠, Jian Weng, Makoto Hamana, 白川 展之, Jian Weng, 白川 展之, Makoto Hamana, 白川 展之, Jian Weng, 白川 展之, Makoto Hamana, Hiroaki Anada, Nobuyuki Shirakawa, 櫻井 幸一, Shin-ya Katsumata, 穴田 啓晃, Nobuyuki Shirakawa, 穴田 啓晃, 勝股 審也]
通讯作者：
勝股 審也
DOI：
10.1145/2535838.2535846
发表时间：
2014-01-01
期刊：
ACM SIGPLAN NOTICES
影响因子：
--
作者：
[Katsumata, Shin-ya]
通讯作者：
Katsumata, Shin-ya
研究会
学习小组
学习小组
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
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
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Shin-ya Katsumata, Tetsuya Sato, 伊関 友伸, Shin-ya Katsumata, M. Fiore and M. Hamana, 伊関 友伸, 浜名誠, 伊関 友伸, Hiroaki Anada, 白川 展之, 浜名誠, Jian Weng, Makoto Hamana, 白川 展之, Jian Weng, 白川 展之, Makoto Hamana, 白川 展之, Jian Weng, 白川 展之, Makoto Hamana]
通讯作者：
Makoto Hamana
共 14 条
Foundations of Dependable Datatypes by Dependent Types
-
批准号：24300001
-
项目类别：Grant-in-Aid for Scientific Research (B)
-
资助金额：$4.08万
-
财政年份：2012
-
负责人：Makoto Hamana
-
依托单位：
海外基金