2 papers
quant-ph2026
Reversible Lifetime Semantics for Quantum Programs
Simone Faro, Francesco Pio Marino, Gabriele Messina
Reversible computation requires that intermediate data be explicitly undone rather than discarded. In quantum programming, this principle appears as uncomputation, usually treated…
cs.PL2025
Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing
Simone Faro, Francesco Pio Marino, Gabriele Messina
Quantum computing leverages the principles of quantum mechanics to perform computations far beyond the capabilities of classical systems, particularly in fields such as cryptograph…