Python 3 types in the wild: a tale of two type systems-Reference-Cited by-同舟云学术

Python 3 types in the wild: a tale of two type systems

Published:2020-11-15 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages
language:
Short-container-title:

Author:

Rak-amnouykit Ingkarat¹,McCrevan Daniel¹,Milanova Ana¹,Hirzel Martin²,Dolby Julian²

Affiliation:

1. Rensselaer Polytechnic Institute, USA

2. IBM Research, USA

Funder

Rensselaer-IBM Artificial Intelligence Research Collaboration (AIRC)

Publisher

ACM

Link

Reference20 articles.

1. 2020. Infer: Eradicate. htps://fbinfer.com/docs/eradicate/ 2020. Infer: Eradicate. htps://fbinfer.com/docs/eradicate/

2. 2020. The Checker Framework. htps://checkerframework.org/ 2020. The Checker Framework. htps://checkerframework.org/

3. NullAway: Practical Type-based Null Safety for Java;Banerjee Subarno;Foundations of Software Engineering (FSE).,2019

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

2. How Well Static Type Checkers Work with Gradual Typing? A Case Study on Python;2023 IEEE/ACM 31st International Conference on Program Comprehension (ICPC);2023-05

5. Towards a Large-Scale Empirical Study of Python Static Type Annotations;2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2023-03