刷新
Sound gradual typing with structural type contracts via the virtual machine
通过虚拟机使用结构类型合约进行声音渐进式打字
基本信息
- 批准号：515090-2017
- 负责人：
- 金额：$ 1.27万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Alexander Graham Bell Canada Graduate Scholarships - Master's
- 财政年份：2017
- 资助国家：加拿大
- 起止时间：2017-01-01 至 2018-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
No summary - Aucun sommaire
没有摘要-Aucun Sommaire
项目成果
期刊论文数量（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 }}
Arteca, Ellen其他文献
npm-filter: Automating the mining of dynamic information from npm packages
npm-filter：自动从 npm 包中挖掘动态信息
- DOI：
10.1145/3524842.3528501 - 发表时间：
2022 - 期刊：
- 影响因子：0
- 作者：
Arteca, Ellen;Turcotte, Alexi - 通讯作者：
Turcotte, Alexi
Stubbifier: debloating dynamic server-side JavaScript applications
Stubbifier：消除动态服务器端 JavaScript 应用程序
- DOI：
10.1007/s10664-022-10195-6 - 发表时间：
2022 - 期刊：
- 影响因子：4.1
- 作者：
Turcotte, Alexi;Arteca, Ellen;Mishra, Ashish;Alimadadi, Saba;Tip, Frank - 通讯作者：
Tip, Frank
The Effects of Computational Resources on Flaky Tests (Artifact)
计算资源对 Flaky 测试的影响（工件）
- DOI：
10.5281/zenodo.10015434 - 发表时间：
2023 - 期刊：
- 影响因子：0
- 作者：
Silva, Denini;Gruber, Martin;Gokhale, Satyajit;Arteca, Ellen;Turcotte, Alexi;D'Amorim, Marcelo;Lam, Wing;Winter, Stefan;Bell, Jonathan - 通讯作者：
Bell, Jonathan
Enabling Additional Parallelism in Asynchronous JavaScript Applications
在异步 JavaScript 应用程序中启用额外的并行性
- DOI：
10.4230/lipics.ecoop.2021.7 - 发表时间：
2021 - 期刊：
- 影响因子：0
- 作者：
Arteca, Ellen;Tip, Frank;Schaefer, Max - 通讯作者：
Schaefer, Max
Arteca, Ellen的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Arteca, Ellen', 18)}}的其他基金
Type soundness without runtime checks: From gradually to fully typed programs via type inference
无需运行时检查的类型健全性：通过类型推断从逐渐类型化程序到完全类型化程序
- 批准号：
518831-2018 - 财政年份：2020
- 资助金额：
$ 1.27万 - 项目类别：
Postgraduate Scholarships - Doctoral
Type soundness without runtime checks: From gradually to fully typed programs via type inference
无需运行时检查的类型健全性：通过类型推断从逐渐类型化程序到完全类型化程序
- 批准号：
518831-2018 - 财政年份：2019
- 资助金额：
$ 1.27万 - 项目类别：
Postgraduate Scholarships - Doctoral
Type soundness without runtime checks: From gradually to fully typed programs via type inference
无需运行时检查的类型健全性：通过类型推断从逐渐类型化程序到完全类型化程序
- 批准号：
518831-2018 - 财政年份：2018
- 资助金额：
$ 1.27万 - 项目类别：
Postgraduate Scholarships - Doctoral
Task-based parallel implementation of MEAM potentials
基于任务的 MEAM 潜力并行实施
- 批准号：
462798-2014 - 财政年份：2014
- 资助金额：
$ 1.27万 - 项目类别：
University Undergraduate Student Research Awards
相似国自然基金
基于渐进式稀疏建模与深度学习的激光吸收光谱层析成像
- 批准号：62371415
- 批准年份：2023
- 资助金额：50 万元
- 项目类别：面上项目
铝锂合金薄板双面碾压渐进成形及梯度细晶强化机理研究
- 批准号：52371177
- 批准年份：2023
- 资助金额：50 万元
- 项目类别：面上项目
煤炭地下气化边界围岩热质迁移渐进损伤机制研究
- 批准号：52374211
- 批准年份：2023
- 资助金额：50 万元
- 项目类别：面上项目
基于深度渐进学习的CT图像重建和多任务协同式AI辅助诊断模型研究
- 批准号：62371190
- 批准年份：2023
- 资助金额：49 万元
- 项目类别：面上项目
基于大变形耦合动态载荷的风电柔性叶片多尺度渐进损伤失效机理研究
- 批准号：52306264
- 批准年份：2023
- 资助金额：30.00 万元
- 项目类别：青年科学基金项目
相似海外基金
Extending the Theory of Confined Gradual Typing
扩展有限渐进打字理论
- 批准号：
575940-2022 - 财政年份：2022
- 资助金额：
$ 1.27万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Master's
Programming languages for scalable incremental computation and advanced gradual typing
用于可扩展增量计算和高级渐进类型的编程语言
- 批准号：
RGPIN-2018-04352 - 财政年份：2022
- 资助金额：
$ 1.27万 - 项目类别：
Discovery Grants Program - Individual
Extending the Theory and Practice of Gradual Typing
扩展渐进打字的理论和实践
- 批准号：
RGPIN-2017-04471 - 财政年份：2021
- 资助金额：
$ 1.27万 - 项目类别：
Discovery Grants Program - Individual
Programming languages for scalable incremental computation and advanced gradual typing
用于可扩展增量计算和高级渐进类型的编程语言
- 批准号：
RGPIN-2018-04352 - 财政年份：2021
- 资助金额：
$ 1.27万 - 项目类别：
Discovery Grants Program - Individual
Extending the Theory of Confined Gradual Typing
扩展有限渐进打字理论
- 批准号：
563484-2021 - 财政年份：2021
- 资助金额：
$ 1.27万 - 项目类别：
University Undergraduate Student Research Awards