46 citations · 104 across the 12 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…
cs.PL2020★ 15 cited
Linear Dependent Type Theory for Quantum Programming Languages
Peng Fu, Kohei Kishida, Peter Selinger
Modern quantum programming languages integrate quantum resources and classical control. They must, on the one hand, be linearly typed to reflect the no-cloning property of quantum…