2 citations · 4 across the 2 of their papers we have counts for
3 papers
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…