10 citations · 13 across the 4 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2025
Imperative Quantum Programming with Ownership and Borrowing in Guppy
Mark Koch, Agustín Borgna, Craig Roy +4
Linear types enforce no-cloning and no-deleting theorems in functional quantum programming. However, in imperative quantum programming, they have not gained widespread adoption. Th…
cs.PL2025
GUPPY: Pythonic Quantum-Classical Programming
Mark Koch, Alan Lawrence, Kartik Singhal +2
We present ongoing work on Guppy, a domain-specific language embedded in Python that allows users to write high-level hybrid quantum programs with complex control flow in Pythonic…
cs.PL2021★ 3 cited
Quantum Hoare Type Theory: Extended Abstract
Kartik Singhal, John Reppy
As quantum computers become real, it is high time we come up with effective techniques that help programmers write correct quantum programs. In classical computing, formal verifica…