Quipper

swMATH9894MaRDI QIDQ21873FDOQ21873

Author name not available (Why is that?)

Cited In (40)

• 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
• Towards Quantum Programs Verification: From Quipper Circuits to QPMC
• A Categorical Model for a Quantum Circuit Description Language (Extended Abstract)
• 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
• Linear Dependent Type Theory for Quantum Programming Languages
• An Introduction to Quantum Programming in Quipper
• Enriching a Linear/Non-linear Lambda Calculus
• 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*
• The EfProb Library for Probabilistic Calculations
• POPLMark reloaded: Mechanizing proofs by logical relations
• Modeling complex quantum dynamics: evolution of numerical algorithms in the HPC context
• A concrete categorical semantics of lambda-\(\mathcal{S}\)
• 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
• 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
• Generating Reversible Circuits from Higher-Order Functional Programs
• 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
• Typing Quantum Superpositions and Measurement
• REVS: a tool for space-optimized reversible circuit synthesis
• Toward automatic verification of quantum programs
• Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics
• Simple digital quantum algorithm for symmetric first-order linear hyperbolic systems
• Quantum differential and linear cryptanalysis

This page was built for software: Quipper