Type-safe quantum programming in Idris

DOI10.1007/978-3-031-30044-8_19zbMATH Open1541.68093MaRDI QIDQ6535254

Liliane-Joy Dandy, Emmanuel Jeandel, Vladimir Zamdzhiev

Publication date: 24 November 2023

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A list of successes that can change the world. Essays dedicated to Philip Wadler on the occasion of his 60th birthday
• Linear logic
• Generalising monads to arrows
• A tutorial introduction to quantum circuit programming in dependently typed proto-quipper
• Quantum programming with inductive datatypes: causality and affine type theory
• An Introduction to Quantum Programming in Quipper
• Quantum Computation and Quantum Information
• Parameterised notions of computation
• Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
• Syntax and Semantics of Quantitative Type Theory
• What is a Categorical Model of Arrows?
• A single quantum cannot be cloned
• QWIRE: a core language for quantum circuits
• A lambda calculus for quantum computation with classical control
• The theory of variational hybrid quantum-classical algorithms

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)