Silva, R. C. G., K. G. Roggia, and C. D. Vasconcellos. “Haskell Type System Analysis”. Revista De Informática Teórica E Aplicada, vol. 25, no. 3, Sept. 2018, pp. 75-88, doi:10.22456/2175-2745.82395.