Qimaera: Type-safe (Variational) Quantum Programming in Idris.

Liliane-Joy Dandy Emmanuel Jeandel Vladimir Zamdzhiev

Published in: CoRR (2021)

Keyphrases

programming language
logic circuits
quantum computation
databases
machine learning
information retrieval
information systems
image processing
image segmentation
development environment
quantum computing
methods in computer vision