SimTyper: sound type inference for Ruby using type equality prediction

Milod Kazerounian, Jeffrey S. Foster, Bonan Min. SimTyper: sound type inference for Ruby using type equality prediction. Proceedings of the ACM on Programming Languages, 5(ICFP):1-27, 2021. [doi]

Abstract

Abstract is missing.