Silva, R. C. G., Roggia, K. G. and Vasconcellos, C. D. (2018) “Haskell Type System Analysis”, Revista de Informática Teórica e Aplicada, 25(3), pp. 75–88. doi: 10.22456/2175-2745.82395.