Silva, R. C. G.; Roggia, K. G.; Vasconcellos, C. D. Haskell Type System Analysis. RITA 2018, 25, 75-88.