Feitosa, S., & 		Ribeiro, R.
(2024).
 Differential Testing using Random Well-Typed Haskell Programs.
In <em>Anais do XXVIII Simpósio Brasileiro de Linguagens de Programação</em>, (pp. 26-34). Porto Alegre: SBC.