Typed–Untyped Interactions: A Comparative Analysis-Reference-Cited by-同舟云学术

Typed–Untyped Interactions: A Comparative Analysis

Published:2023-03-05 Issue:1 Volume:45 Page:1-54
ISSN:0164-0925
Container-title:ACM Transactions on Programming Languages and Systems
language:en
Short-container-title:ACM Trans. Program. Lang. Syst.

Author:

Greenman Ben¹^ORCID,Dimoulas Christos²^ORCID,Felleisen Matthias³^ORCID

Affiliation:

1. PLT @ Brown University, Providence RI, USA

2. PLT @ Northwestern University, Evanston IL, USA

3. PLT @ Northeastern University, Boston MA, USA

Abstract

The literature presents many strategies for enforcing the integrity of types when typed code interacts with untyped code. This article presents a uniform evaluation framework that characterizes the differences among some major existing semantics for typed–untyped interaction. Type system designers can use this framework to analyze the guarantees of their own dynamic semantics.

Funder

NSF

Publisher

Association for Computing Machinery (ACM)

Subject

Software

Link

https://dl.acm.org/doi/pdf/10.1145/3579833

Reference93 articles.

1. Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, and Philip Wadler. 2011. Blame for all. In Proceedings of the POPL. 201–214.

2. Alexander Aiken, Edward L. Wimmers, and T. K. Lakshman. 1994. Soft typing with conditional types. In Proceedings of the POPL. 163–173.

3. Gradual typing for smalltalk;Allende Esteban;Sci. Comput. Program.,2013

4. BabyJ: From object based to class based programming via types;Anderson Christopher;WOOD,2003

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Gradually Typed Languages Should Be Vigilant!;Proceedings of the ACM on Programming Languages;2024-04-29

2. How Profilers Can Help Navigate Type Migration;Proceedings of the ACM on Programming Languages;2023-10-16

3. GTP Benchmarks for Gradual Typing Performance;Proceedings of the 2023 ACM Conference on Reproducibility and Replicability;2023-06-27