A tutorial introduction to quantum circuit programming in dependently typed proto-quipper

DOI10.1007/978-3-030-52482-1_9OpenAlexW3046635395MaRDI QIDQ2039896

Peter Selinger, Neil J. Ross, Peng Fu, Kohei Kishida

Publication date: 5 July 2021

Full work available at URL: https://arxiv.org/abs/2005.08396

zbMATH Keywords

quantum programming languageslinear dependent typesproto-quipper-d

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Other nonclassical models of computation (68Q09)

Related Items

Linear Dependent Type Theory for Quantum Programming Languages, Software science view on quantum circuit algorithms

Uses Software

• Quipper