Q\# as a quantum algorithmic language
From MaRDI portal
Q\ as a quantum algorithmic language
Cites work
- A single quantum cannot be cloned
- Algebraic effects, linearity, and quantum programming languages
- Algebraic operations and generic effects
- An algebraic presentation of predicate logic (extended abstract)
- Formalizing the LLVM intermediate representation for verified program transformations
- From Algol to polymorphic linear lambda-calculus
- Homotopy type theory. Univalent foundations of mathematics
- scientific article; zbMATH DE number 1629948 (Why is no real title available?)
- scientific article; zbMATH DE number 3949678 (Why is no real title available?)
- scientific article; zbMATH DE number 1256737 (Why is no real title available?)
- scientific article; zbMATH DE number 2079014 (Why is no real title available?)
- scientific article; zbMATH DE number 1531624 (Why is no real title available?)
- scientific article; zbMATH DE number 1746461 (Why is no real title available?)
- Linear usage of state
- Monadic regions
- Parametricity and local variables
- Practical foundations for programming languages
- Quantum Hoare type theory: extended abstract
- Quantum programming made easy
- QWIRE: a core language for quantum circuits
- Singleton, union, and intersection types for program extraction
- The essence of Reynolds
- The quantum IO monad
- Tools and algorithms for the construction and analysis of systems. 14th international conference, TACAS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29--April 6, 2008. Proceedings
- Towards a mechanized metatheory of Standard ML
- Towards a quantum programming language
This page was built for publication: Q\# as a quantum algorithmic language
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6940499)
