311 citations · 1.2k across the 38 of their papers we have counts for
Showing 2020 · cs.PLShow all
2 papers · 2 filters
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…