Showing cs.PLShow all
3 papers · 1 filter
cs.PL2026★ 2 cited
VyZX: Formal Verification of a Graphical Quantum Language
Adrian Lehmann, Ben Caldwell, Bhakti Shah +2
Graphical languages are a convenient shorthand to represent computation, with rewrite rules relating one graph to another. In contrast, proof assistants rely heavily on inductive d…
cs.PL2025
ViCAR: Visualizing Categories with Automated Rewriting in Coq
Bhakti Shah, Willam Spencer, Laura Zielinski +3
We present ViCAR, a library for working with monoidal categories in the Coq proof assistant. ViCAR provides definitions for categorical structures that users can instantiate with t…
cs.PL2025
Compositional Quantum Control Flow with Efficient Compilation in Qunity
Mikhail Mints, Finn Voichick, Leonidas Lampropoulos +1
Most existing quantum programming languages are based on the quantum circuit model of computation, as higher-level abstractions are particularly challenging to implement - especial…