Pages that link to "Item:Q2868442"
From MaRDI portal
The following pages link to An Introduction to Quantum Programming in Quipper (Q2868442):
Displaying 28 items.
- PEET: a Matlab tool for estimating physical gate errors in quantum information processing systems (Q331392) (← links)
- Toward automatic verification of quantum programs (Q667515) (← links)
- Parallel computational structure of noisy quantum circuits simulation (Q1662766) (← links)
- Classical control and quantum circuits in enriched category theory (Q2130598) (← links)
- An automated deductive verification framework for circuit-building quantum programs (Q2233453) (← links)
- QPCF: higher-order languages and quantum circuits (Q2331073) (← links)
- Formalization of metatheory of the Quipper quantum programming language in a linear logic (Q2331074) (← links)
- Simple digital quantum algorithm for symmetric first-order linear hyperbolic systems (Q2334813) (← links)
- Automating quantum experiment control. From circuit compilation to ion routing (Q2412580) (← links)
- Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target (Q2412588) (← links)
- Deterministic algorithms for compiling quantum circuits with recurrent patterns (Q2690498) (← links)
- (Q2721095) (← links)
- Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics (Q2822512) (← links)
- Towards Quantum Programs Verification: From Quipper Circuits to QPMC (Q3186602) (← links)
- The Category TOF (Q3385627) (← links)
- (Q3385643) (← links)
- (Q5018491) (← links)
- Linear Dependent Type Theory for Quantum Programming Languages (Q5043587) (← links)
- Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model (Q5043591) (← links)
- Typing Quantum Superpositions and Measurement (Q5055990) (← links)
- A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls (Q5056005) (← links)
- Sized Types for Low-Level Quantum Metaprogramming (Q5237215) (← links)
- Functional and Logic Programming (Q5308007) (← links)
- Software science view on quantum circuit algorithms (Q6040659) (← links)
- Classically time-controlled quantum automata (Q6049068) (← links)
- Type-safe quantum programming in Idris (Q6535254) (← links)
- Semantics for a lambda calculus for string diagrams (Q6612802) (← links)
- LinguaQuanta: towards a quantum transpiler between OpenQASM and Quipper (Q6637594) (← links)