1 paper · 1 filter
Hristo Venev, Timon Gehr, Dimitar Dimitrov +1
A key challenge of quantum programming is uncomputation: the reversible deallocation of qubits. And while there has been much recent progress on automating uncomputation, state-of-…