课题基金 / 基金详情

Operads for domain-specific languages

Operads for domain-specific languages
特定领域语言的操作
批准号：
2303816
负责人：
金额：
$0.0万
依托单位：
University of Nottingham
依托单位国家：
英国
项目类别：
Studentship
财政年份：
2019
资助国家：
英国
项目状态：
已结题
起止时间：
2019 至 --
来源：
https://gtr.ukri.org/projects?ref=studentship-2303816
关键词：
Operadsdomainspecificlanguages

项目摘要

项目成果

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Key aims/objectives: The aim of this project is to investigate the idea of using operads to provide a mathematical basis for domain-specific languages.Methodology: The project will involve giving an operadic model of domain-specific languages, and investigating the theory and practice of this model.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
国内基金
海外基金
Domain理论中几类T0拓扑空间的幂构造研究
  • 批准号：
    2026JJ81209
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2026
  • 负责人：
    袁珍珠
  • 依托单位：
    长沙师范学院
RB-domain函数空间的相关研究
  • 批准号：
    2026JJ60113
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2026
  • 负责人：
    栾伟
  • 依托单位：
    湖南师范大学
RIPK3蛋白及其RHIM结构域在脓毒症早期炎症反应和脏器损伤中的作用和机制研究
  • 批准号：
    82372167
  • 项目类别：
    面上项目
  • 资助金额：
    48.00万元
  • 批准年份：
    2023
  • 负责人：
    江继宏
  • 依托单位：
    上海交通大学
拟连续domain范畴的若干问题研究
  • 批准号：
    12301583
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    30万元
  • 批准年份：
    2023
  • 负责人：
    栾伟
  • 依托单位：
    湖南大学