Borin Júnior, F., & 		Vizzotto, J.
(2025).
 Modeling Quantum Computing Constraints: No-Cloning Theorem and Monadic Expressiveness with Type-Level Programming.
In <em>Anais do XXIX Simpósio Brasileiro de Linguagens de Programação</em>, (pp. 84-92). Porto Alegre: SBC.
doi:10.5753/sblp.2025.13218