The behavior of gradual types: a user study-Reference-Cited by-同舟云学术

The behavior of gradual types: a user study

Published:2018-10-24 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages
language:
Short-container-title:

Author:

Tunnell Wilson Preston¹,Greenman Ben²,Pombrio Justin¹,Krishnamurthi Shriram¹

Affiliation:

1. Brown University, USA

2. Northeastern University, USA

Funder

National Science Foundation

Publisher

ACM

Link

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

Reference39 articles.

1. Gradual typing for Smalltalk

2. Titus Barik. 2018. Error Messages as Rational Reconstructions. Ph.D. Dissertation. North Carolina State University. Titus Barik. 2018. Error Messages as Rational Reconstructions. Ph.D. Dissertation. North Carolina State University.

3. Gavin Bierman Martin Abadi and Mads Torgersen. 2014. Understanding TypeScript. In ECOOP. 257–281. 10.1007/978-3-662-44202-9_11 Gavin Bierman Martin Abadi and Mads Torgersen. 2014. Understanding TypeScript. In ECOOP. 257–281. 10.1007/978-3-662-44202-9_11

4. Gavin Bierman Erik Meijer and Mads Torgersen. 2010. Adding Dynamic Types to C#. In ECOOP. 76–100. Gavin Bierman Erik Meijer and Mads Torgersen. 2010. Adding Dynamic Types to C#. In ECOOP. 76–100.

5. Ambrose Bonnaire-Sergeant Rowan Davies and Sam Tobin-Hochstadt. 2016. Practical Optional Types for Clojure. In ESOP. 68–94. Ambrose Bonnaire-Sergeant Rowan Davies and Sam Tobin-Hochstadt. 2016. Practical Optional Types for Clojure. In ESOP. 68–94.

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

1. Quest Complete: The Holy Grail of Gradual Security;Proceedings of the ACM on Programming Languages;2024-06-20

2. Forge: A Tool and Language for Teaching Formal Methods;Proceedings of the ACM on Programming Languages;2024-04-29

3. Identifying and Correcting Programming Language Behavior Misconceptions;Proceedings of the ACM on Programming Languages;2024-04-29

4. Gradual Typing Performance, Micro Configurations and Macro Perspectives;Lecture Notes in Computer Science;2024

5. How to Evaluate Blame for Gradual Types, Part 2;Proceedings of the ACM on Programming Languages;2023-08-30