Gottesman Types for Quantum Programs.

Robert Rand Aarthi Sundaram Kartik Singhal Brad Lackey

Published in: QPL (2020)

Keyphrases

databases
computer vision
database
social networks
search algorithm
relational databases
special case
computer programs
automatic programming