Samuel Feitosa and Rodrigo Ribeiro. 2024.
 Differential Testing using Random Well-Typed Haskell Programs. In <em>Anais do XXVIII Simpósio Brasileiro de Linguagens de Programação</em>, setembro 30, 2024, Curitiba/PR, Brasil. SBC, Porto Alegre, Brasil, 26-34. DOI: <a href="https://doi.org/10.5753/sblp.2024.3462">https://doi.org/10.5753/sblp.2024.3462</a>.