What Types Are Needed for Typing Dynamic Objects? A Python-Based Empirical Study
Abstract elided by the publisher.
Related papers
- Measuring polymorphism in python programs DLS 2015
- An Empirical Evaluation of Property-Based Testing in Python OOPSLA 2025
- Static Analysis of Shape in TensorFlow Programs ECOOP 2020
- Static vs. dynamic type systems: an empirical study about the relationship between type casts and development time DLS 2011
- Dynamic pattern matching with Python DLS 2020
- An Empirical Study of Object Protocols in the Wild ECOOP 2011
- Pyls: Enabling Python Hardware Synthesis with Dynamic Polymorphism via LCRS Encoding CGO 2026
- An empirical study of the influence of static type systems on the usability of undocumented software OOPSLA 2012