559 citations · 1.1k across the 21 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.PL2020★ 18 cited
A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper
Peng Fu, Kohei Kishida, Neil J. Ross +1
We introduce dependently typed Proto-Quipper, or Proto-Quipper-D for short, an experimental quantum circuit programming language with linear dependent types. We give several exampl…
quant-ph2020
Optimal Two-Qubit Circuits for Universal Fault-Tolerant Quantum Computation
Andrew N. Glaudell, Neil J. Ross, Jacob M. Taylor
We study two-qubit circuits over the Clifford+CS gate set, which consists of the Clifford gates together with the controlled-phase gate CS=diag(1,1,1,i). The Clifford+CS gate set i…