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万
  • 依托单位：
    Tohoku University
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 财政年份：
    2017
  • 资助国家：
    日本
  • 起止时间：
    2017-04-01 至 2023-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Reconciling Abstraction with High Performance: A MetaOCaml approach
协调抽象与高性能：MetaOCaml 方法
  • DOI：
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    庄司諭;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
Elementary Tutorial on Normalization-by-Evaluation
评估标准化的基本教程
  • DOI：
  • 发表时间：
  • 期刊：
  • 影响因子：
    0
  • 作者：
  • 通讯作者：
EPFL(スイス)
洛桑联邦理工学院（瑞士）
  • DOI：
  • 发表时间：
  • 期刊：
  • 影响因子：
    0
  • 作者：
  • 通讯作者：
Non-determinism: a sublanguage rather than a monad
非决定论：一种子语言而不是单子
  • DOI：
  • 发表时间：
  • 期刊：
  • 影响因子：
    0
  • 作者：
  • 通讯作者：
Polynomial Event Semantics: Negation
多项式事件语义：否定
  • DOI：
    10.1007/978-3-030-79942-7_6
  • 发表时间：
    2021
  • 期刊：
    Lecture Notes in Computer Science
  • 影响因子：
    0
  • 作者：
    Oleg Kiselyov and Haruki Watanabe;Kiselyov Oleg;Kiselyov Oleg;Kiselyov Oleg;Kiselyov Oleg
  • 通讯作者：
    Kiselyov Oleg
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

KISELYOV Oleg其他文献

KISELYOV Oleg的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

相似海外基金

SHF:Small:A Domain-Specific Language for Designing Cognitive-Science Experiments
SHF:Small：用于设计认知科学实验的特定领域语言
  • 批准号：
    1813123
  • 财政年份：
    2018
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Standard Grant
Domain specific language integration for hardware-aware software generation
用于生成硬件感知软件的领域特定语言集成
  • 批准号：
    446057-2012
  • 财政年份：
    2015
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Collaborative Research and Development Grants
Domain specific language integration for hardware-aware software generation
用于生成硬件感知软件的领域特定语言集成
  • 批准号：
    446057-2012
  • 财政年份：
    2014
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Collaborative Research and Development Grants
Domain specific language integration for hardware-aware software generation
用于生成硬件感知软件的领域特定语言集成
  • 批准号：
    446057-2012
  • 财政年份：
    2013
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Collaborative Research and Development Grants
NeTS: Small: Flange: A Domain Specific Language for Network
NeTS：小：法兰：网络领域特定语言
  • 批准号：
    1320659
  • 财政年份：
    2013
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Standard Grant
Domain-specific language extensions for a dynamic scientific programming language
动态科学编程语言的特定领域语言扩展
  • 批准号：
    409201-2011
  • 财政年份：
    2011
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Postgraduate Scholarships - Doctoral
SHF: Large: Domain Specific Language Infrastructure for Biological Simulation Software
SHF：大型：生物模拟软件的领域特定语言基础设施
  • 批准号：
    1111943
  • 财政年份：
    2011
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Standard Grant
A Domain Specific Language in which Authentication/Authorization control is Enabled
启用身份验证/授权控制的域特定语言
  • 批准号：
    23500079
  • 财政年份：
    2011
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
ITR: A Domain-Specific Language for Infopipes
ITR：Infopipes 的特定领域语言
  • 批准号：
    0523474
  • 财政年份：
    2004
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Continuing Grant
ITR: A Domain-Specific Language for Infopipes
ITR：Infopipes 的特定领域语言
  • 批准号：
    0219686
  • 财政年份：
    2002
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Continuing Grant
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了