Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference

Ali Aman, Muhammad Asaduzzaman, Shaowei Wang 0002. Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference. In Proceedings of the 2026 34th IEEE/ACM International Conference on Program Comprehension, ICPC 2026, Rio de Janeiro, Brazil, April 12-13, 2026. pages 379-389, ACM, 2026. [doi]

Abstract

Abstract is missing.