Sign in

Type-safe Quantum Programming in Idris.

Liliane-Joy DandyEmmanuel JeandelVladimir Zamdzhiev
Published in: ESOP (2023)
Keyphrases
  • programming language
  • search engine
  • high level
  • database systems
  • bayesian networks
  • relational databases
  • quantum computing
  • high level language