Type-safe quantum programming in Idris

DOI10.1007/978-3-031-30044-8_19MaRDI QIDQ6535254zbMATH OpenFDO

Authors Liliane-Joy Dandy, Emmanuel Jeandel, Vladimir Zamdzhiev

Publication date 24 November 2023

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-30044-8_19

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Quantum algorithms and complexity in the theory of computing (68Q12) Quantum computation (81P68)

Recommendations

• Variational quantum algorithms: fundamental concepts, applications and challenges
• Parameterized Two‐Qubit Gates for Enhanced Variational Quantum Eigensolver
• The theory of variational hybrid quantum-classical algorithms
• Quantum programming made easy

Cites work

• \textit{Re}\(\mathcal{Q}\)\textsc{wire}: reasoning about reversible quantum circuits
• A lambda calculus for quantum computation with classical control
• A list of successes that can change the world. Essays dedicated to Philip Wadler on the occasion of his 60th birthday
• A single quantum cannot be cloned
• A tutorial introduction to quantum circuit programming in dependently typed proto-quipper
• An introduction to quantum programming in Quipper
• Generalising monads to arrows
• scientific article; zbMATH DE number 5899272 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 2079022 (Why is no real title available?)
• scientific article; zbMATH DE number 7699438 (Why is no real title available?)
• Linear logic
• Parameterised notions of computation
• Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
• Quantum computation and quantum information. 10th anniversary edition
• Quantum programming with inductive datatypes: causality and affine type theory
• QWIRE: a core language for quantum circuits
• Syntax and semantics of quantitative type theory
• The quantum IO monad
• The theory of variational hybrid quantum-classical algorithms
• What is a categorical model of arrows?

This page was built for publication: Type-safe quantum programming in Idris

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535254)