Graeff, Guilherme, Braulio Mello, Denio Duarte, Andrei Braga, Sampaio Braga, and Samuel Feitosa. “A Random Generation of Haskell Programs Applied to Optimization Testing in Compilers”. Revista de Informática Teórica e Aplicada 31, no. 2 (September 4, 2024): 20–29. Accessed August 11, 2025. https://seer.ufrgs.br/index.php/rita/article/view/134925.