39 citations · 45 across the 4 of their papers we have counts for
4 papers
From Symmetric Pattern-Matching to Quantum Control (Extended Version)
Amr Sabry, Benoît Valiron, Juliana Kaizer Vizzotto
One perspective on quantum algorithms is that they are classical algorithms having access to a special kind of memory with exotic properties. This perspective suggests that, even i…
The Arrow Calculus as a Quantum Programming Language
Juliana Kaizer Vizzotto, Andre Rauber Du Bois, Amr Sabry
We express quantum computations (with measurements) using the arrow calculus extended with monadic constructions. This framework expresses quantum programming using well-understood…
An Algebra of Pure Quantum Programming
Thorsten Altenkirch, Jonathan Grattage, Juliana K. Vizzotto +1
We develop a sound and complete equational theory for the functional quantum programming language QML. The soundness and completeness of the theory are with respect to the previous…
Structuring quantum effects: superoperators as arrows
J. K. Vizzotto, T. Altenkirch, A. Sabry
We show that the model of quantum computation based on density matrices and superoperators can be decomposed in a pure classical (functional) part and an effectful part modeling pr…