New reational program semantics based on the notion of continuations and contexts
New reational program semantics based on the notion of continuations and contexts
基于延续和上下文概念的新理性程序语义
批准号：
16K12409
负责人：
Sumii Eijiro
金额：
$2.33万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Challenging Exploratory Research
财政年份：
2016
资助国家：
日本
项目状态：
已结题
起止时间：
2016-04-01 至 2019-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(2)
专著(0)
科研奖励(0)
会议论文
DOI：
10.1007/978-3-319-90686-7_1
发表时间：
2018-05
期刊：
影响因子：
--
作者：
[Masayuki Mizuno;Eijiro Sumii]
通讯作者：
Masayuki Mizuno;Eijiro Sumii
Progress report: Ruby 3における静的型解析の実現に向けて
进度报告：迈向 Ruby 3 中静态类型分析的实现
进度报告：迈向 Ruby 3 中静态类型分析的实现
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[遠藤 侑介, 松本 宗太郎, 上野 雄大, 住井 英二郎, 松本 行弘]
通讯作者：
松本 行弘
A Sound and Complete Bisimulation for Contextual Equivalence in λ-Calculus with Call/cc
具有 Call/cc 的 λ 演算中上下文等价的健全且完整的互模拟
具有 Call/cc 的 λ 演算中上下文等价的健全且完整的互模拟
DOI：
10.1007/978-3-319-47958-3_10
发表时间：
2016
期刊：
Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, Lecture Notes in Computer Science
影响因子：
--
作者：
[Taichi Yachi, Eijiro Sumii]
通讯作者：
Eijiro Sumii
Development of theory and application of programming based on higher-order/typed calculi
-
批准号：15H02681
-
项目类别：Grant-in-Aid for Scientific Research (B)
-
资助金额：$11.4万
-
财政年份：2015
-
负责人：Sumii Eijiro
-
依托单位：