Quipper
From MaRDI portal
Software:21873
No author found.
Related Items (40)
Classical control and quantum circuits in enriched category theory ⋮ Linear Dependent Type Theory for Quantum Programming Languages ⋮ Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model ⋮ Reachability analysis of quantum Markov decision processes ⋮ Typing Quantum Superpositions and Measurement ⋮ A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls ⋮ Towards Quantum Programs Verification: From Quipper Circuits to QPMC ⋮ Generating Reversible Circuits from Higher-Order Functional Programs ⋮ PEET: a Matlab tool for estimating physical gate errors in quantum information processing systems ⋮ Quantum differential and linear cryptanalysis ⋮ Semantics of higher-order quantum computation via geometry of interaction ⋮ Parallel computational structure of noisy quantum circuits simulation ⋮ Automating quantum experiment control. From circuit compilation to ion routing ⋮ Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target ⋮ A Categorical Model for a Quantum Circuit Description Language (Extended Abstract) ⋮ POPLMark reloaded: Mechanizing proofs by logical relations ⋮ Deterministic algorithms for compiling quantum circuits with recurrent patterns ⋮ Hierarchical system mapping for large-scale fault-tolerant quantum computing ⋮ Connectivity matrix model of quantum circuits and its application to distributed quantum circuit optimization ⋮ Hybrid quantum-classical circuit simplification with the ZX-calculus ⋮ REVS: a tool for space-optimized reversible circuit synthesis ⋮ Modeling complex quantum dynamics: evolution of numerical algorithms in the HPC context ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Modeling tripartite entanglement in quantum protocols using evolving entangled hypergraphs ⋮ Enriching a Linear/Non-linear Lambda Calculus ⋮ Toward automatic verification of quantum programs ⋮ A tutorial introduction to quantum circuit programming in dependently typed proto-quipper ⋮ Unnamed Item ⋮ Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics ⋮ Sized Types for Low-Level Quantum Metaprogramming ⋮ The EfProb Library for Probabilistic Calculations ⋮ QPCF: higher-order languages and quantum circuits ⋮ Formalization of metatheory of the Quipper quantum programming language in a linear logic ⋮ Formal meta-level analysis framework for quantum programming languages ⋮ A concrete categorical semantics of lambda-\(\mathcal{S}\) ⋮ Simple digital quantum algorithm for symmetric first-order linear hyperbolic systems ⋮ An Introduction to Quantum Programming in Quipper ⋮ A focused linear logical framework and its application to metatheory of object logics ⋮ A computer scientist’s reconstruction of quantum theory*
This page was built for software: Quipper
