30 citations · 96 across the 6 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.PL2022★ 30 cited
Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs
Charles Yuan, Christopher McNally, Michael Carbin
Quantum programming languages enable developers to implement algorithms for quantum computers that promise computational breakthroughs in classically intractable tasks. Programming…
cs.PL2022★ 26 cited
Tower: Data Structures in Quantum Superposition
Charles Yuan, Michael Carbin
Emerging quantum algorithms for problems such as element distinctness, subset sum, and closest pair demonstrate computational advantages by relying on abstract data structures. Pra…