课题基金 / 基金详情

Nominal string diagrams and their application to compiler development

Nominal string diagrams and their application to compiler development
标称字符串图及其在编译器开发中的应用
批准号：
2741390
负责人：
金额：
$0.0万
依托单位：
University of Birmingham
依托单位国家：
英国
项目类别：
Studentship
财政年份：
2022
资助国家：
英国
项目状态：
未结题
起止时间：
2022 至 --
来源：
https://gtr.ukri.org/projects?ref=studentship-2741390
关键词：
Nominalstringdiagramstheirapplication

项目摘要

项目成果

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Nominal string diagrams and their application to compiler development
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
国内基金
海外基金
具有缺陷的石墨超滑机制建模与模拟
  • 批准号：
    11571314
  • 项目类别：
    面上项目
  • 资助金额：
    50.0万元
  • 批准年份：
    2015
  • 负责人：
    靳聪明
  • 依托单位：
    浙江理工大学
超弦/M-理论、粒子物理相关问题的研究
  • 批准号：
    11105138
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    24.0万元
  • 批准年份：
    2011
  • 负责人：
    肖志广
  • 依托单位：
    中国科学技术大学
带应力string方法及其在材料计算中的应用
  • 批准号：
    11001244
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    17.0万元
  • 批准年份：
    2010
  • 负责人：
    靳聪明
  • 依托单位：
    浙江理工大学
量子色动力学相变信号
  • 批准号：
    10665003
  • 项目类别：
    地区科学基金项目
  • 资助金额：
    25.0万元
  • 批准年份：
    2006
  • 负责人：
    李云德
  • 依托单位：
    云南大学