The following pages link to Quipper (Q21873):
Displayed 40 items.
- PEET: a Matlab tool for estimating physical gate errors in quantum information processing systems (Q331392) (← links)
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- Toward automatic verification of quantum programs (Q667515) (← links)
- Reachability analysis of quantum Markov decision processes (Q1627964) (← links)
- Parallel computational structure of noisy quantum circuits simulation (Q1662766) (← links)
- REVS: a tool for space-optimized reversible circuit synthesis (Q1705584) (← links)
- A tutorial introduction to quantum circuit programming in dependently typed proto-quipper (Q2039896) (← links)
- Classical control and quantum circuits in enriched category theory (Q2130598) (← links)
- Modeling complex quantum dynamics: evolution of numerical algorithms in the HPC context (Q2206963) (← 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)
- Formal meta-level analysis framework for quantum programming languages (Q2333324) (← links)
- A concrete categorical semantics of lambda-\(\mathcal{S}\) (Q2333669) (← 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)
- Hierarchical system mapping for large-scale fault-tolerant quantum computing (Q2690502) (← links)
- Connectivity matrix model of quantum circuits and its application to distributed quantum circuit optimization (Q2690531) (← links)
- Hybrid quantum-classical circuit simplification with the ZX-calculus (Q2691632) (← links)
- Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics (Q2822512) (← links)
- An Introduction to Quantum Programming in Quipper (Q2868442) (← links)
- Towards Quantum Programs Verification: From Quipper Circuits to QPMC (Q3186602) (← links)
- Generating Reversible Circuits from Higher-Order Functional Programs (Q3186607) (← links)
- A Categorical Model for a Quantum Circuit Description Language (Extended Abstract) (Q3384934) (← links)
- (Q4580221) (← links)
- Modeling tripartite entanglement in quantum protocols using evolving entangled hypergraphs (Q4620274) (← links)
- (Q5020634) (← links)
- (Q5020643) (← links)
- A focused linear logical framework and its application to metatheory of object logics (Q5022931) (← 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)
- Quantum differential and linear cryptanalysis (Q5071474) (← links)
- (Q5109520) (← links)
- POPLMark reloaded: Mechanizing proofs by logical relations (Q5110924) (← links)
- Enriching a Linear/Non-linear Lambda Calculus (Q5145342) (← links)
- Sized Types for Low-Level Quantum Metaprogramming (Q5237215) (← links)
- A computer scientist’s reconstruction of quantum theory* (Q5876440) (← links)