喵ID：iNZJ9v免责声明

Live functional programming with typed holes

带类型孔的实时函数式编程

基本信息

DOI：
10.1145/3290327
发表时间：
2019
期刊：
Proceedings of the ACM on Programming Languages
影响因子：
--
通讯作者：
Hammer, Matthew A.
中科院分区：
文献类型：
--
作者： Omar, Cyrus;Voysey, Ian;Chugh, Ravi;Hammer, Matthew A.研究方向： -- MeSH主题词： --
关键词： --
来源链接：pubmed详情页地址

文献摘要

参考文献（126）
被引文献（74）
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
Gradual refinement types
DOI：
10.1145/3009837.3009856
发表时间：
2017-01
期刊：
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
影响因子：
0
作者：
Nico Lehmann;É. Tanter
通讯作者：
Nico Lehmann;É. Tanter
Elaborator reflection: extending Idris in Idris
DOI：
10.1145/2951913.2951932
发表时间：
2016-09
期刊：
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming
影响因子：
0
作者：
D. Christiansen;Edwin C. Brady
通讯作者：
D. Christiansen;Edwin C. Brady
Scratch
划痕
DOI：
发表时间：
2009
期刊：
Communications of the ACM
影响因子：
22.7
作者：
M. Resnick;John Maloney;Andrés Monroy;N. Rusk;Evelyn Eastmond;Karen Brennan;Amon Millner;E. Rosenbaum;Jay S. Silver;Brian Silverman;Y. Kafai
通讯作者：
Y. Kafai
Combinatory Weak Reduction in Lambda Calculus
Lambda 演算中的组合弱约简
DOI：
发表时间：
1998
期刊：
Theoretical Computer Science
影响因子：
1.1
作者：
N. Çagman;J. Hindley
通讯作者：
J. Hindley

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

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