Silva, Rafael Castro G., Karina Girardi Roggia, and Cristiano Damiani Vasconcellos. “Haskell Type System Analysis”. Revista de Informática Teórica e Aplicada 25, no. 3 (September 12, 2018): 75–88. Accessed April 28, 2025. https://seer.ufrgs.br/index.php/rita/article/view/VOL25_NR3_75.