, Professora no curso de Bacharelado em Ciência da Computação da Universidade do Estado de Santa Catarina, Brazil
-
Revista de Informática Teórica e Aplicada Vol. 25 No. 3 (2018) - Selected Papers - WEIT 2017
Haskell Type System Analysis
Abstract PDF