Sized Types for Low-Level Quantum Metaprogramming

DOI10.1007/978-3-030-21500-2_6OpenAlexW2949317307MaRDI QIDQ5237215

Matthew Amy

Publication date: 17 October 2019

Published in: Reversible Computation (Search for Journal in Brave)

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

zbMATH Keywords

quantum programmingmetaprogrammingcircuit description languages

Mathematics Subject Classification ID

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

Related Items

metaQASM

Uses Software

• Quipper
• ProjectQ
• ScaffCC
• GitHub
• Forest
• Quantum++
• Strawberry Fields
• openQASM
• Feynman
• QPL
• PyZX
• cQASM
• QML

Cites Work

• Unnamed Item
• Unnamed Item
• Verified compilation of space-efficient reversible circuits
• An Introduction to Quantum Programming in Quipper
• Universal Quantum Simulators
• QWIRE: a core language for quantum circuits
• Quantum programming languages: survey and bibliography
• A polynomial quantum algorithm for approximating the Jones polynomial