喵ID:3lyMDp免责声明

Gradual type theory

渐进式理论

基本信息

DOI:
10.1017/s0956796821000125
发表时间:
2021
影响因子:
1.1
通讯作者:
AHMED, AMAL
中科院分区:
计算机科学2区
文献类型:
--
作者: NEW, MAX S.;LICATA, DANIEL R.;AHMED, AMAL研究方向: -- MeSH主题词: --
关键词: --
来源链接:pubmed详情页地址

文献摘要

参考文献(54)
被引文献(19)
Gradual Typing for Objects
DOI:
10.1007/978-3-540-73589-2_2
发表时间:
2007-07
期刊:
影响因子:
0
作者:
Jeremy G. Siek;Walid Taha
通讯作者:
Jeremy G. Siek;Walid Taha
Polarized Substructural Session Types
极化的底层会话类型
DOI:
10.1007/978-3-662-46678-0_1
发表时间:
2016
期刊:
Physical review. E, Statistical, nonlinear, and soft matter physics
影响因子:
0
作者:
F. Pfenning;Dennis Griffith
通讯作者:
Dennis Griffith
Abstracting gradual typing
抽象渐进式打字
DOI:
发表时间:
2016
期刊:
ACM-SIGACT Symposium on Principles of Programming Languages
影响因子:
0
作者:
Ronald Garcia;Alison M. Clark;É. Tanter
通讯作者:
É. Tanter
The gradualizer: a methodology and algorithm for generating gradual type systems
渐进器:生成渐进类型系统的方法和算法
DOI:
发表时间:
2016
期刊:
ACM-SIGACT Symposium on Principles of Programming Languages
影响因子:
0
作者:
M. Cimini;Jeremy G. Siek
通讯作者:
Jeremy G. Siek
Typed Contracts for Functional Programming
函数式编程的类型化合约
DOI:
10.1007/11737414_15
发表时间:
2006
期刊:
Sigplan Notices
影响因子:
0
作者:
R. Hinze;J. Jeuring;Andres Löh
通讯作者:
Andres Löh

数据更新时间:{{ references.updateTime }}

AHMED, AMAL
通讯地址:
--
所属机构:
--
电子邮件地址:
--
免责声明免责声明
1、猫眼课题宝专注于为科研工作者提供省时、高效的文献资源检索和预览服务;
2、网站中的文献信息均来自公开、合规、透明的互联网文献查询网站,可以通过页面中的“来源链接”跳转数据网站。
3、在猫眼课题宝点击“求助全文”按钮,发布文献应助需求时求助者需要支付50喵币作为应助成功后的答谢给应助者,发送到用助者账户中。若文献求助失败支付的50喵币将退还至求助者账户中。所支付的喵币仅作为答谢,而不是作为文献的“购买”费用,平台也不从中收取任何费用,
4、特别提醒用户通过求助获得的文献原文仅用户个人学习使用,不得用于商业用途,否则一切风险由用户本人承担;
5、本平台尊重知识产权,如果权利所有者认为平台内容侵犯了其合法权益,可以通过本平台提供的版权投诉渠道提出投诉。一经核实,我们将立即采取措施删除/下架/断链等措施。
我已知晓