Solving the Funarg Problem with Static Types. - Caleb Helbling; Firat Aksoy (CoRR, 2021)