Quipper

swMATH9894MaRDI QIDQ21873FDOQ21873

Author name not available (Why is that?)

Cited In (39)

• Ricercar: a language for describing and rewriting reversible circuits with ancillae and its permutation semantics
• Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target
• QPCF: higher-order languages and quantum circuits
• Hybrid quantum-classical circuit simplification with the ZX-calculus
• A focused linear logical framework and its application to metatheory of object logics
• Modeling tripartite entanglement in quantum protocols using evolving entangled hypergraphs
• Formalization of metatheory of the Quipper quantum programming language in a linear logic
• Formal meta-level analysis framework for quantum programming languages
• Reachability analysis of quantum Markov decision processes
• A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
• Classical control and quantum circuits in enriched category theory
• A computer scientist’s reconstruction of quantum theory*
• Modeling complex quantum dynamics: evolution of numerical algorithms in the HPC context
• A concrete categorical semantics of lambda-\(\mathcal{S}\)
• Generating reversible circuits from higher-order functional programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• A tutorial introduction to quantum circuit programming in dependently typed proto-quipper
• Parallel computational structure of noisy quantum circuits simulation
• Deterministic algorithms for compiling quantum circuits with recurrent patterns
• Enriching a linear/non-linear lambda calculus: a programming language for string diagrams
• PEET: a Matlab tool for estimating physical gate errors in quantum information processing systems
• Sized Types for Low-Level Quantum Metaprogramming
• Semantics of higher-order quantum computation via geometry of interaction
• Connectivity matrix model of quantum circuits and its application to distributed quantum circuit optimization
• POPLMark reloaded: mechanizing proofs by logical relations
• Towards quantum programs verification: from Quipper circuits to QPMC
• A categorical model for a quantum circuit description language (extended abstract)
• The EfProb library for probabilistic calculations
• Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
• Hierarchical system mapping for large-scale fault-tolerant quantum computing
• Title not available (Why is that?)
• Automating quantum experiment control. From circuit compilation to ion routing
• An introduction to quantum programming in Quipper
• Typing Quantum Superpositions and Measurement
• REVS: a tool for space-optimized reversible circuit synthesis
• Toward automatic verification of quantum programs
• Simple digital quantum algorithm for symmetric first-order linear hyperbolic systems
• Quantum differential and linear cryptanalysis

This page was built for software: Quipper