Trace Typing: An Approach for Evaluating Retrofitted Type Systems

Esben Andreasen; Colin S. Gordon; Satish Chandra; Manu Sridharan; Frank Tip; Koushik Sen

首页> 外文期刊>LIPIcs : Leibniz International Proceedings in Informatics >Trace Typing: An Approach for Evaluating Retrofitted Type Systems

【24h】

Trace Typing: An Approach for Evaluating Retrofitted Type Systems

机译：跟踪键入：一种评估改型系统的方法

获取原文

获取外文期刊封面封底 >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Recent years have seen growing interest in the retrofitting of type systems onto dynamically-typed programming languages, in order to improve type safety, programmer productivity, or performance. In such cases, type system developers must strike a delicat

机译：近年来，人们越来越关注将类型系统改装到动态类型的编程语言上，以提高类型安全性，程序员的生产率或性能。在这种情况下，类型系统开发人员必须采取谨慎措施

著录项

来源
《LIPIcs : Leibniz International Proceedings in Informatics》 |2016年第1期|共116页
作者
Esben Andreasen; Colin S. Gordon; Satish Chandra; Manu Sridharan; Frank Tip; Koushik Sen;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Hill-Type Formula and Krein-Type Trace Formula for Hamiltonian Systems [J] . Xijun Hu, Yuwei Ou, Penghui Wang, 分析、理论与应用（英文版） . 2021,第001期

机译：HAMILTONIAN系统的山型公式和Kerin型跟踪公式
2. Simultaneous Evaluation of Different Types of Kinetic Traces of a Complex System:Kinetics and Mechanism of the Tetrathionate—Bromine Reaction [J] . Denes Varga, Attila K. Horvath The journal of physical chemistry, A. Molecules, spectroscopy, kinetics, environment, & general theory . 2009,第37期

机译：同时评估复杂系统不同类型的动力学痕迹：四硫代-溴反应的动力学和机理
3. TeJaS: Retrofitting Type Systems for JavaScript [J] . Benjamin S. Lerner, Joe Gibbs Politz, Arjun Guha, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2014,第2期

机译：TeJaS：翻新JavaScript的类型系统
4. Retrofitting Zeroconf to Type-Safe Self-Organising Systems [C] . Miseldine P., Taleb-Bendiab A. International Conference on Database and Export Systems Applications . 2006

机译：改装Zeroconf到类型安全的自组织系统
5. The importance of a Mediterranean type ecosystem in trace gas fluxes from the chaparral of Southern California [D] . Luo, Hongyan 2007

机译：地中海型生态系统在来自南加州丛林的微量气体通量中的重要性
6. A Whole-Genome Single Nucleotide Polymorphism-Based Approach To Trace and Identify Outbreaks Linked to a Common Salmonella enterica subsp. enterica Serovar Montevideo Pulsed-Field Gel Electrophoresis Type [O] . Henk C. den Bakker, Andrea I. Moreno Switt, Craig A. Cummings, 2011

机译：一种基于全基因组单核苷酸多态性的方法来追踪和鉴定与常见沙门氏菌肠亚种相关的暴发。 Enterica Serovar Montevideo脉冲场凝胶电泳类型
7. Trace Typing: An Approach for Evaluating Retrofitted Type Systems [O] . Andreasen Esben, Gordon Colin S., Chandra Satish, 2016

机译：跟踪打字：一种评估改造型系统的方法

Trace Typing: An Approach for Evaluating Retrofitted Type Systems

摘要

著录项

相似文献

相关主题

期刊订阅