Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeFeb 17th 2021

    a bare list of references, to be !includ-ed into the list of references of relevant entries, such as at quantum computing and quantum programming, for ease of updating and syncing

    v1, current

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeMay 11th 2021

    added pointer to:

    diff, v2, current

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeMay 12th 2021

    added pointer for QWIRE

    diff, v3, current

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeMay 12th 2021

    added pointer to:

    diff, v4, current

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeMay 13th 2021

    added this pointer:

    diff, v6, current

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeMay 13th 2021

    added pointer to:

    diff, v7, current

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeOct 29th 2022

    added pointer to:

    • Kartik Singhal, Kesha Hietala, Sarah Marshall, Robert Rand, Q# as a Quantum Algorithmic Language, Proceedings of Quantum Physics and Logic (2022) [arXiv:2206.03532]

    diff, v14, current

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeOct 29th 2022

    added pointer to:

    • Sam Staton, Algebraic Effects, Linearity, and Quantum Programming Languages, POPL ’15: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2015) [doi:10.1145/2676726.2676999, pdf]

    diff, v14, current

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeNov 12th 2022

    added pointer to:

    diff, v18, current

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeNov 19th 2022
    • (edited Nov 19th 2022)

    have added pointer to

    and will create a stub-page quantum lambda-calculus

    diff, v21, current

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeMar 3rd 2023

    added pointer to:

    diff, v25, current

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeAug 16th 2023

    added this pointer:

    diff, v28, current

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeAug 16th 2023

    added this transcript of the first couple of minutes from Selinger (2016)

    When the QPL workshop series was first founded it was called “Quantum Programming Languages”. And then one year I wasn’t participating, and while I wasn’t looking they changed the name to “Quantum Physics and Logic” — same acronym!

    Back in those days in the early 21st century we were actually trying to do programming languages for quantum computing, but the sad thing is: In those days nobody really cared.

    Because, the algorithms-people said: “Who needs a programming language? Everything is equivalent to a Turing-machine anyway!”; and the programming-language people were interested but didn’t really understand quantum, and they were not really end-customers[?] for such programming languages, because we didn’t have – and we still don’t have – any actual quantum computers. And then some people said: “Well, there is only five quantum algorithms, so why don’t you just hard-code those in a chip and use that? Why do you need to program if there is only a fixed number of algorithms?”

    Now it’s 15 years later and, in fact, several of these parameters have changed. The interest in quantum programming languages in the last 3 or 4 years has [increased], there has been a renewed interest, from government agencies and also from companies who are actually building quantum computers. They are starting to think about what they might actually do when they get ready.

    So now people are working on quantum programming languages again.

    diff, v29, current