Silq: a high-level quantum language with safe uncomputation and intuitive semantics
Benjamin Bichsel, Maximilian Baader, Timon Gehr, Martin Vechev · 2020
Existing quantum languages force the programmer to work at a low level of abstraction leading to unintuitive and cluttered code. A fundamental reason is that dropping temporary values from the program state requires explicitly applying quantum operations that safely uncompute these values.