Silq: a high-level quantum language with safe uncomputation and intuitive semantics.

Benjamin Bichsel, Maximilian Baader, Timon Gehr, Martin T. Vechev

Browse the full PLDI paper archive.