TY  - RPRT
TI  - Qimaera: Type-safe (Variational) Quantum Programming in Idris
AU  - Liliane-Joy Dandy
AU  - Emmanuel Jeandel
AU  - Vladimir Zamdzhiev
PY  - 2021
UR  - https://arxiv.org/abs/2111.10867
ID  - 2111.10867
ER  -