刷新
{{item.name}}会员
Extending the Theory and Practice of Gradual Typing
扩展渐进打字的理论和实践
基本信息
- 批准号：RGPIN-2017-04471
- 负责人：
- 金额：$ 3.79万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2021
- 资助国家：加拿大
- 起止时间：2021-01-01 至 2022-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
Compilers; Dynamic Languages; Interpreters; Language Design; Programming Languages; Semantics; Type Checking; Type Systems
编译器；动态语言；解释器；语言设计；编程语言；语义；类型检查；类型系统
项目成果
期刊论文数量（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 }}
Garcia, Ronald其他文献
Fatty Acid-Related Phylogeny of Myxobacteria as an Approach to Discover Polyunsaturated Omega-3/6 Fatty Acids
- DOI：
10.1128/jb.01091-10 - 发表时间：
2011-04-01 - 期刊：
- 影响因子：3.2
- 作者：
Garcia, Ronald;Pistorius, Dominik;Mueller, Rolf - 通讯作者：
Mueller, Rolf
Production of a Dibrominated Aromatic Secondary Metabolite by a Planctomycete Implies Complex Interaction with a Macroalgal Host
- DOI：
10.1021/acschembio.9b00641 - 发表时间：
2019-12-01 - 期刊：
- 影响因子：4
- 作者：
Panter, Fabian;Garcia, Ronald;Mueller, Rolf - 通讯作者：
Mueller, Rolf
Mexican Immigrants in the US Living Far from the Border may Return to Mexico for Health Services
- DOI：
10.1007/s10903-008-9213-8 - 发表时间：
2010-08-01 - 期刊：
- 影响因子：1.9
- 作者：
Bergmark, Regan;Barr, Donald;Garcia, Ronald - 通讯作者：
Garcia, Ronald
Temperature-Dependent Selection of Reaction Pathways, Reactive Species, and Products during Postsynthetic Selenization of Copper Sulfide Nanoparticles.
- DOI：
10.1021/acs.chemmater.3c01772 - 发表时间：
2023-11-14 - 期刊：
- 影响因子：8.6
- 作者：
Hole, Brandon;Luo, Qi;Garcia, Ronald;Xie, Wanrui;Rudman, Eli;Nguyen, Chi Loi Thanh;Dhakal, Diya;Young, Haley L.;Thompson, Katherine L.;Butterfield, Auston G.;Schaak, Raymond E.;Plass, Katherine E. - 通讯作者：
Plass, Katherine E.
A Highly Conjugated Dihydroxylated C28 Steroid from a Myxobacterium
- DOI：
10.1021/np100682c - 发表时间：
2011-05-01 - 期刊：
- 影响因子：5.1
- 作者：
Gawas, Dnyaneshwar;Garcia, Ronald;Mueller, Rolf - 通讯作者：
Mueller, Rolf
Garcia, Ronald的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Garcia, Ronald', 18)}}的其他基金
Extending the Theory and Practice of Gradual Typing
扩展渐进打字的理论和实践
- 批准号：
RGPIN-2017-04471 - 财政年份：2020
- 资助金额：
$ 3.79万 - 项目类别：
Discovery Grants Program - Individual
Extending the Theory and Practice of Gradual Typing
扩展渐进打字的理论和实践
- 批准号：
RGPIN-2017-04471 - 财政年份：2019
- 资助金额：
$ 3.79万 - 项目类别：
Discovery Grants Program - Individual
Extending the Theory and Practice of Gradual Typing
扩展渐进打字的理论和实践
- 批准号：
RGPIN-2017-04471 - 财政年份：2018
- 资助金额：
$ 3.79万 - 项目类别：
Discovery Grants Program - Individual
Extending the Theory and Practice of Gradual Typing
扩展渐进打字的理论和实践
- 批准号：
RGPIN-2017-04471 - 财政年份：2017
- 资助金额：
$ 3.79万 - 项目类别：
Discovery Grants Program - Individual
Enhancing Support for Metaprogramming
增强对元编程的支持
- 批准号：
418643-2012 - 财政年份：2015
- 资助金额：
$ 3.79万 - 项目类别：
Discovery Grants Program - Individual
Enhancing Support for Metaprogramming
增强对元编程的支持
- 批准号：
418643-2012 - 财政年份：2014
- 资助金额：
$ 3.79万 - 项目类别：
Discovery Grants Program - Individual
Enhancing Support for Metaprogramming
增强对元编程的支持
- 批准号：
418643-2012 - 财政年份：2013
- 资助金额：
$ 3.79万 - 项目类别：
Discovery Grants Program - Individual
Enhancing Support for Metaprogramming
增强对元编程的支持
- 批准号：
418643-2012 - 财政年份：2012
- 资助金额：
$ 3.79万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
Research on Quantum Field Theory without a Lagrangian Description
- 批准号：24ZR1403900
- 批准年份：2024
- 资助金额：0.0 万元
- 项目类别：省市级项目
基于isomorph theory研究尘埃等离子体物理量的微观动力学机制
- 批准号：12247163
- 批准年份：2022
- 资助金额：18.00 万元
- 项目类别：专项项目
Toward a general theory of intermittent aeolian and fluvial nonsuspended sediment transport
- 批准号：
- 批准年份：2022
- 资助金额：55 万元
- 项目类别：
英文专著《FRACTIONAL INTEGRALS AND DERIVATIVES: Theory and Applications》的翻译
- 批准号：12126512
- 批准年份：2021
- 资助金额：12.0 万元
- 项目类别：数学天元基金项目
基于Restriction-Centered Theory的自然语言模糊语义理论研究及应用
- 批准号：61671064
- 批准年份：2016
- 资助金额：65.0 万元
- 项目类别：面上项目
相似海外基金
Theory use in social care practice: improving implementation and outcomes
社会关怀实践中的理论运用：改进实施和结果
- 批准号：
DE240100154 - 财政年份：2024
- 资助金额：
$ 3.79万 - 项目类别：
Discovery Early Career Researcher Award
CAREER: Theory and Practice of Privacy-Utility Tradeoffs in Enterprise Data Sharing
职业：企业数据共享中隐私与效用权衡的理论与实践
- 批准号：
2338772 - 财政年份：2024
- 资助金额：
$ 3.79万 - 项目类别：
Continuing Grant
Collaborative Research: Advances in the Theory and Practice of Non-Euclidean Statistics
合作研究：非欧几里得统计理论与实践的进展
- 批准号：
2311058 - 财政年份：2023
- 资助金额：
$ 3.79万 - 项目类别：
Continuing Grant
CAREER: Parallel Algorithms: Theory for Practice
职业：并行算法：理论实践
- 批准号：
2238358 - 财政年份：2023
- 资助金额：
$ 3.79万 - 项目类别：
Continuing Grant
Construction of a teacher education platform linking theory and practice with physical education lesson study
理论联系实际、体育课学的教师教育平台构建
- 批准号：
23H00971 - 财政年份：2023
- 资助金额：
$ 3.79万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Bridging the gap between rockfall theory and engineering practice
弥合落石理论与工程实践之间的差距
- 批准号：
IE230100410 - 财政年份：2023
- 资助金额：
$ 3.79万 - 项目类别：
Early Career Industry Fellowships
A Theory of Integration in Crossdisciplinary Research and Practice
跨学科研究与实践的整合理论
- 批准号：
2318442 - 财政年份：2023
- 资助金额：
$ 3.79万 - 项目类别：
Standard Grant
Theory and Practice of Language Awareness Movement in United Kingdom
英国语言意识运动的理论与实践
- 批准号：
23K18923 - 财政年份：2023
- 资助金额：
$ 3.79万 - 项目类别：
Grant-in-Aid for Research Activity Start-up
Research on theory and practice of trust in educational relationships
教育关系信任理论与实践研究
- 批准号：
23K02159 - 财政年份：2023
- 资助金额：
$ 3.79万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Development of Learning Materials Connecting Theory and Practice for Teachers to Improve Student Engagement
为教师开发连接理论与实践的学习材料以提高学生的参与度
- 批准号：
23K02731 - 财政年份：2023
- 资助金额：
$ 3.79万 - 项目类别：
Grant-in-Aid for Scientific Research (C)