Type-safe Quantum Programming in Idris.

Liliane-Joy Dandy Emmanuel Jeandel Vladimir Zamdzhiev

Published in: ESOP (2023)

Keyphrases

programming language
search engine
high level
database systems
bayesian networks
relational databases
quantum computing
high level language