L. Safina.
" Towards Hybrid and Reusable Type Inference for Dynamically-Typed Languages", in <em>Anais do XXIX Congresso Ibero-Americano em Engenharia de Software</em>, Recife/PE, 2026, pp. 196-203.