Borin Júnior, F., & 		Vizzotto, J.
2026 set  8.  Translating Finite-Typed Symmetric Pattern Matching into Ket. Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP). [Online] :