Tags

Note some publications do not have tags/keywords associated with them. You can suggest improvements.

Sorted by count:

• quantum-computing (45)
• quantum-programming (20)
• programming-languages (18)
• quantum-computation (15)
• hoare-logic (13)
• quantum-programming-languages (13)
• formal-verification (11)
• proto-quipper-m (9)
• quantum-circuits (9)
• lambda-calculus (8)
• quipper (8)
• categorical-semantics (7)
• category-theory (6)
• type-systems (6)
• categorical-model (5)
• functional-programming (5)
• linear-logic (5)
• compilers (4)
• measurement (4)
• mlir (4)
• openqasm (4)
• proto-quipper (4)
• q# (4)
• qasm (4)
• quantum-entanglement (4)
• semantics (4)
• separation-logic (4)
• verification (4)
• zx-calculus (4)
• arrows (3)
• denotational-semantics (3)
• dynamic-lifting (3)
• geometry-of-interaction (3)
• linear-dependent-types (3)
• nisq (3)
• popl (3)
• program-proof (3)
• proto-quipper-d (3)
• quantum-algorithm (3)
• quantum-theory (3)
• reversible-computing (3)
• sum-over-paths (3)
• abstract-interpretation (2)
• algebraic-linearity (2)
• certified-compilation (2)
• classical-control (2)
• communication-channels (2)
• compiler-optimization (2)
• compiler-verification (2)
• density-matrix (2)
• entanglement (2)
• fibration (2)
• force-measurement (2)
• formal-language-definitions (2)
• formal-logic (2)
• formal-specification (2)
• laboratories (2)
• language-design (2)
• measurement-standards (2)
• monoidal-category (2)
• performance-evaluation (2)
• pldi (2)
• pre-and-postconditions (2)
• program-specifications (2)
• proto-quipper-dyn (2)
• protocols (2)
• qhlprover (2)
• quantum-assembly-language (2)
• quantum-compilation (2)
• quantum-cryptography (2)
• quantum-hoare-logic (2)
• quantum-information (2)
• quantum-mechanics (2)
• quantum-teleportation (2)
• semantics-and-reasoning (2)
• teleportation (2)
• type-theory (2)
• uncomputation (2)
• adequacy (1)
• affine-transformations (1)
• algebraic-data-types (1)
• algebraic-effects (1)
• approximate-computing (1)
• approximation-errors (1)
• assertion (1)
• automated-verification (1)
• axiomatic-semantics (1)
• bunched-logic (1)
• category (1)
• certification (1)
• circuit-description-languages (1)
• circuit-optimization (1)
• classical-lambda-calculi (1)
• completely-positive-maps (1)
• completeness (1)
• compositionality (1)
• concurrency (1)
• confluence (1)
• coq (1)
• correctness (1)
• cpm-construction (1)
• cryptography (1)
• dagger-categories (1)
• data-structures (1)
• dataflow-optimization (1)
• debugging (1)
• deductive-verification (1)
• density-matrices (1)
• design-tools (1)
• deutsch-jozsa-algorithm (1)
• deutschs-algorithm (1)
• distributed-computing (1)
• domain-specific-language (1)
• domain-specific-languages (1)
• effects (1)
• empirical-study (1)
• enriched-categories (1)
• enriched-category-theory (1)
• epr-pair-creation (1)
• equivalence-checking (1)
• error-analysis (1)
• floyd-hoare-logic (1)
• formal-language (1)
• formal-semantics (1)
• frobenius-algebras (1)
• functional-languages (1)
• gottesman-types (1)
• graphical-calculus (1)
• groupoids (1)
• groups (1)
• haskell (1)
• higher-categories (1)
• higher-order (1)
• higher-order-abstract-syntax (1)
• higher-order-computation (1)
• history-independence (1)
• homotopy-type-theory (1)
• hopf-algebras (1)
• hybrid (1)
• imperative-quantum-programs (1)
• incorrectness-logic (1)
• inductive-assertions (1)
• inductive-types (1)
• information-effects (1)
• intermediate-representation (1)
• intermediate-representations (1)
• intuitionistic-logic (1)
• invariant-generation (1)
• isabelle/hol (1)
• kraus-operators (1)
• libraries (1)
• linear-algebra (1)
• linear-type-theory (1)
• linear-types (1)
• logic-circuits (1)
• mathematical-libraries (1)
• mathematical-operators (1)
• measurement-based-quantum-computing (1)
• memory-structure (1)
• metaprogramming (1)
• model-checking (1)
• models-for-quantum-computing (1)
• monadic-structure (1)
• monads (1)
• no-cloning (1)
• non-idempotent-kleene-algebra (1)
• normal-form-theorem (1)
• normalization (1)
• oopsla (1)
• open-source-software (1)
• operational-semantics (1)
• operator-algebras (1)
• optimization (1)
• parallel-programs (1)
• parallel-quantum-computing (1)
• partial-correctness (1)
• permutations (1)
• polyhedral-model (1)
• probabilistic-computation (1)
• probabilistic-logic (1)
• probabilistic-programming (1)
• probabilistic-rewrite-system (1)
• probabilistic-verification (1)
• process-calculi (1)
• program-invariants (1)
• program-logic (1)
• program-logics (1)
• program-testing (1)
• programming-language-design (1)
• programming-language-semantics (1)
• programming-theory (1)
• projections (1)
• projective-quantum-predicates (1)
• proof-assistants (1)
• proof-engineering (1)
• proto-quipper-k (1)
• proto-quipper-l (1)
• proto-quipper-s (1)
• purity (1)
• quantum-algorithms (1)
• quantum-bernoulli-factory (1)
• quantum-circuit-description-language (1)
• quantum-circuit-synthesis (1)
• quantum-Circuits (1)
• quantum-communication (1)
• quantum-computing-platform (1)
• quantum-domain-theory (1)
• quantum-error-correction (1)
• quantum-gates (1)
• quantum-information-processing (1)
• quantum-interpretation (1)
• quantum-io-monad (1)
• quantum-lambda-calculi (1)
• quantum-lambda-calculus (1)
• quantum-language (1)
• quantum-language-design (1)
• quantum-operation (1)
• quantum-oracle (1)
• quantum-prisoners-dilemma (1)
• quantum-programming-framework (1)
• quantum-programming-language (1)
• quantum-programs (1)
• quantum-random-access-memory (1)
• quantum-random-walk (1)
• quantum-simulation (1)
• quantum-subroutines (1)
• quantum-while-language (1)
• qubit-allocation (1)
• ranking-function (1)
• realizability (1)
• relative-monad (1)
• resource-estimation (1)
• reversible-computation (1)
• reversible-programming (1)
• reversible-programming-languages (1)
• rewriting (1)
• robustness (1)
• scalability (1)
• sdp-semi-definite-programming (1)
• semantic-preservation (1)
• separable-quantum-states (1)
• separating-conjunction (1)
• software-architectures (1)
• software-bugs (1)
• space-time-tradeoffs (1)
• ssa (1)
• string-diagrams (1)
• substructural-logic (1)
• super-martingale (1)
• superoptimization (1)
• synthesis (1)
• teleportation-based-quantum-computing (1)
• tensor-product (1)
• term-rewriting (1)
• termination (1)
• timing-control (1)
• tket (1)
• topology (1)
• tree-automata (1)
• type-isomorphisms (1)
• type-system (1)
• types (1)
• unitary (1)
• univalent-foundations (1)
• variational-quantum-algorithm (1)
• variational-quantum-programming (1)
• vectors (1)

Sorted alphabetically:

• abstract-interpretation (2)
• adequacy (1)
• affine-transformations (1)
• algebraic-data-types (1)
• algebraic-effects (1)
• algebraic-linearity (2)
• approximate-computing (1)
• approximation-errors (1)
• arrows (3)
• assertion (1)
• automated-verification (1)
• axiomatic-semantics (1)
• bunched-logic (1)
• categorical-model (5)
• categorical-semantics (7)
• category (1)
• category-theory (6)
• certification (1)
• certified-compilation (2)
• circuit-description-languages (1)
• circuit-optimization (1)
• classical-control (2)
• classical-lambda-calculi (1)
• communication-channels (2)
• compiler-optimization (2)
• compiler-verification (2)
• compilers (4)
• completely-positive-maps (1)
• completeness (1)
• compositionality (1)
• concurrency (1)
• confluence (1)
• coq (1)
• correctness (1)
• cpm-construction (1)
• cryptography (1)
• dagger-categories (1)
• data-structures (1)
• dataflow-optimization (1)
• debugging (1)
• deductive-verification (1)
• denotational-semantics (3)
• density-matrices (1)
• density-matrix (2)
• design-tools (1)
• deutsch-jozsa-algorithm (1)
• deutschs-algorithm (1)
• distributed-computing (1)
• domain-specific-language (1)
• domain-specific-languages (1)
• dynamic-lifting (3)
• effects (1)
• empirical-study (1)
• enriched-categories (1)
• enriched-category-theory (1)
• entanglement (2)
• epr-pair-creation (1)
• equivalence-checking (1)
• error-analysis (1)
• fibration (2)
• floyd-hoare-logic (1)
• force-measurement (2)
• formal-language (1)
• formal-language-definitions (2)
• formal-logic (2)
• formal-semantics (1)
• formal-specification (2)
• formal-verification (11)
• frobenius-algebras (1)
• functional-languages (1)
• functional-programming (5)
• geometry-of-interaction (3)
• gottesman-types (1)
• graphical-calculus (1)
• groupoids (1)
• groups (1)
• haskell (1)
• higher-categories (1)
• higher-order (1)
• higher-order-abstract-syntax (1)
• higher-order-computation (1)
• history-independence (1)
• hoare-logic (13)
• homotopy-type-theory (1)
• hopf-algebras (1)
• hybrid (1)
• imperative-quantum-programs (1)
• incorrectness-logic (1)
• inductive-assertions (1)
• inductive-types (1)
• information-effects (1)
• intermediate-representation (1)
• intermediate-representations (1)
• intuitionistic-logic (1)
• invariant-generation (1)
• isabelle/hol (1)
• kraus-operators (1)
• laboratories (2)
• lambda-calculus (8)
• language-design (2)
• libraries (1)
• linear-algebra (1)
• linear-dependent-types (3)
• linear-logic (5)
• linear-type-theory (1)
• linear-types (1)
• logic-circuits (1)
• mathematical-libraries (1)
• mathematical-operators (1)
• measurement (4)
• measurement-based-quantum-computing (1)
• measurement-standards (2)
• memory-structure (1)
• metaprogramming (1)
• mlir (4)
• model-checking (1)
• models-for-quantum-computing (1)
• monadic-structure (1)
• monads (1)
• monoidal-category (2)
• nisq (3)
• no-cloning (1)
• non-idempotent-kleene-algebra (1)
• normal-form-theorem (1)
• normalization (1)
• oopsla (1)
• open-source-software (1)
• openqasm (4)
• operational-semantics (1)
• operator-algebras (1)
• optimization (1)
• parallel-programs (1)
• parallel-quantum-computing (1)
• partial-correctness (1)
• performance-evaluation (2)
• permutations (1)
• pldi (2)
• polyhedral-model (1)
• popl (3)
• pre-and-postconditions (2)
• probabilistic-computation (1)
• probabilistic-logic (1)
• probabilistic-programming (1)
• probabilistic-rewrite-system (1)
• probabilistic-verification (1)
• process-calculi (1)
• program-invariants (1)
• program-logic (1)
• program-logics (1)
• program-proof (3)
• program-specifications (2)
• program-testing (1)
• programming-language-design (1)
• programming-language-semantics (1)
• programming-languages (18)
• programming-theory (1)
• projections (1)
• projective-quantum-predicates (1)
• proof-assistants (1)
• proof-engineering (1)
• proto-quipper (4)
• proto-quipper-d (3)
• proto-quipper-dyn (2)
• proto-quipper-k (1)
• proto-quipper-l (1)
• proto-quipper-m (9)
• proto-quipper-s (1)
• protocols (2)
• purity (1)
• q# (4)
• qasm (4)
• qhlprover (2)
• quantum-algorithm (3)
• quantum-algorithms (1)
• quantum-assembly-language (2)
• quantum-bernoulli-factory (1)
• quantum-circuit-description-language (1)
• quantum-circuit-synthesis (1)
• quantum-Circuits (1)
• quantum-circuits (9)
• quantum-communication (1)
• quantum-compilation (2)
• quantum-computation (15)
• quantum-computing (45)
• quantum-computing-platform (1)
• quantum-cryptography (2)
• quantum-domain-theory (1)
• quantum-entanglement (4)
• quantum-error-correction (1)
• quantum-gates (1)
• quantum-hoare-logic (2)
• quantum-information (2)
• quantum-information-processing (1)
• quantum-interpretation (1)
• quantum-io-monad (1)
• quantum-lambda-calculi (1)
• quantum-lambda-calculus (1)
• quantum-language (1)
• quantum-language-design (1)
• quantum-mechanics (2)
• quantum-operation (1)
• quantum-oracle (1)
• quantum-prisoners-dilemma (1)
• quantum-programming (20)
• quantum-programming-framework (1)
• quantum-programming-language (1)
• quantum-programming-languages (13)
• quantum-programs (1)
• quantum-random-access-memory (1)
• quantum-random-walk (1)
• quantum-simulation (1)
• quantum-subroutines (1)
• quantum-teleportation (2)
• quantum-theory (3)
• quantum-while-language (1)
• qubit-allocation (1)
• quipper (8)
• ranking-function (1)
• realizability (1)
• relative-monad (1)
• resource-estimation (1)
• reversible-computation (1)
• reversible-computing (3)
• reversible-programming (1)
• reversible-programming-languages (1)
• rewriting (1)
• robustness (1)
• scalability (1)
• sdp-semi-definite-programming (1)
• semantic-preservation (1)
• semantics (4)
• semantics-and-reasoning (2)
• separable-quantum-states (1)
• separating-conjunction (1)
• separation-logic (4)
• software-architectures (1)
• software-bugs (1)
• space-time-tradeoffs (1)
• ssa (1)
• string-diagrams (1)
• substructural-logic (1)
• sum-over-paths (3)
• super-martingale (1)
• superoptimization (1)
• synthesis (1)
• teleportation (2)
• teleportation-based-quantum-computing (1)
• tensor-product (1)
• term-rewriting (1)
• termination (1)
• timing-control (1)
• tket (1)
• topology (1)
• tree-automata (1)
• type-isomorphisms (1)
• type-system (1)
• type-systems (6)
• type-theory (2)
• types (1)
• uncomputation (2)
• unitary (1)
• univalent-foundations (1)
• variational-quantum-algorithm (1)
• variational-quantum-programming (1)
• vectors (1)
• verification (4)
• zx-calculus (4)