10 citations · 13 across the 2 of their papers we have counts for
2 papers
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…
cs.LO2021★ 10 cited
Gottesman Types for Quantum Programs
Robert Rand, Aarthi Sundaram, Kartik Singhal +1
The Heisenberg representation of quantum operators provides a powerful technique for reasoning about quantum circuits, albeit those restricted to the common (non-universal) Cliffor…