Feitosa, S., & 		Ribeiro, R.
(2024).
 Differential Testing using Random Well-Typed Haskell Programs.
In <em>Proceedings of the 28th Brazilian Symposium on Programming Languages</em>, (pp. 26-34). Porto Alegre: SBC.
doi:10.5753/sblp.2024.3462