Denotational Semantics for Dependently Typed Communicating Processes
依赖类型通信过程的指称语义
基本信息
- 批准号：558194-2021
- 负责人：
- 金额：$ 1.64万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Postdoctoral Fellowships
- 财政年份：2021
- 资助国家：加拿大
- 起止时间：2021-01-01 至 2022-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
programming languages, concurrency theory, denotational semantics, session types, dependent types
编程语言、并发理论、指称语义、会话类型、依赖类型
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ 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 }}
Kavanagh, Ryan其他文献
Kavanagh, Ryan的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Kavanagh, Ryan', 18)}}的其他基金
Denotational Semantics for Weak Memory
弱记忆的指称语义
- 批准号：
488064-2016 - 财政年份：2018
- 资助金额：
$ 1.64万 - 项目类别：
Postgraduate Scholarships - Doctoral
Denotational Semantics for Weak Memory
弱记忆的指称语义
- 批准号：
488064-2016 - 财政年份：2017
- 资助金额：
$ 1.64万 - 项目类别：
Postgraduate Scholarships - Doctoral
Math in Moscow
莫斯科的数学
- 批准号：
468342-2014 - 财政年份：2014
- 资助金额：
$ 1.64万 - 项目类别：
University Undergraduate Student Research Awards
相似国自然基金
面向网络行为语义学习的自监督预训练方法研究
- 批准号：62362049
- 批准年份：2023
- 资助金额：32 万元
- 项目类别：地区科学基金项目
数据驱动的个性化语义学习与多属性决策及应用研究
- 批准号：
- 批准年份：2022
- 资助金额：47 万元
- 项目类别：面上项目
基于语义学习轨迹时空感知的在线学习行为模式挖掘研究
- 批准号：
- 批准年份：2021
- 资助金额：30 万元
- 项目类别：青年科学基金项目
基于机理模型和语义学习的复杂系统可解释建模与控制
- 批准号：62076049
- 批准年份：2020
- 资助金额：59 万元
- 项目类别：面上项目
社交网络跨媒体时空大数据中的语义学习与搜索研究
- 批准号：62002027
- 批准年份：2020
- 资助金额：24 万元
- 项目类别：青年科学基金项目
相似海外基金
SAFER - Secure Foundations: Verified Systems Software Above Full-Scale Integrated Semantics
SAFER - 安全基础：高于全面集成语义的经过验证的系统软件
- 批准号：
EP/Y035976/1 - 财政年份：2024
- 资助金额：
$ 1.64万 - 项目类别：
Research Grant
SHF: SMALL: A New Semantics for Type-Level Programming in Haskell
SHF：SMALL：Haskell 中类型级编程的新语义
- 批准号：
2345580 - 财政年份：2024
- 资助金额：
$ 1.64万 - 项目类别：
Standard Grant
The theory of meaning via dependent type semantics and its automatic verification
基于依赖类型语义的意义理论及其自动验证
- 批准号：
23H03452 - 财政年份：2023
- 资助金额：
$ 1.64万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Relaxed Semantics Across the Data Analytics Stack
整个数据分析堆栈的宽松语义
- 批准号：
EP/X029174/1 - 财政年份：2023
- 资助金额：
$ 1.64万 - 项目类别：
Research Grant
Collaborative Research: FMitF: Track I: Knitting Semantics
合作研究：FMitF：第一轨：针织语义
- 批准号：
2319182 - 财政年份：2023
- 资助金额：
$ 1.64万 - 项目类别：
Standard Grant