Tagless-final DSL embedding: how to keep extending the language and be sure it will still work
Tagless-final DSL embedding: how to keep extending the language and be sure it will still work
Tagless-final DSL 嵌入：如何不断扩展语言并确保它仍然有效
批准号：
17K00091
负责人：
KISELYOV Oleg
金额：
$2.91万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2017
资助国家：
日本
项目状态：
已结题
起止时间：
2017-04-01 至 2023-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Reconciling Abstraction with High Performance: A MetaOCaml approach
协调抽象与高性能：MetaOCaml 方法
协调抽象与高性能：MetaOCaml 方法
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[庄司諭, Oleg Kiselyov, Oleg Kiselyov, 小林 友明, Oleg Kiselyov, Oleg Kiselyov, Oleg Kiselyov, Oleg Kiselyov, Oleg Kiselyov, Oleg Kiselyov, Oleg Kiselyov, Oleg Kiselyov, Oleg Kiselyov, Oleg Kiselyov, Oleg Kiselyov, Oleg Kiselyov, Oleg Kiselyov]
通讯作者：
Oleg Kiselyov
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
EPFL(スイス)
洛桑联邦理工学院（瑞士）
洛桑联邦理工学院（瑞士）
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
Non-determinism: a sublanguage rather than a monad
非决定论：一种子语言而不是单子
非决定论：一种子语言而不是单子
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
Polynomial Event Semantics: Negation
多项式事件语义：否定
多项式事件语义：否定
DOI：
10.1007/978-3-030-79942-7_6
发表时间：
2021
期刊：
Lecture Notes in Computer Science
影响因子：
--
作者：
[Oleg Kiselyov and Haruki Watanabe, Kiselyov Oleg, Kiselyov Oleg, Kiselyov Oleg, Kiselyov Oleg]
通讯作者：
Kiselyov Oleg
共 49 条
海外基金