Rauber Du Bois, André, Rodrigo Ribeiro, and Maycon Amaro. 2020. “A Mechanized Proof of a Textbook Type Unification Algorithm”. Revista De Informática Teórica E Aplicada 27 (3):13-24. https://doi.org/10.22456/2175-2745.100968.