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.

added this pointer:

- Benoît Valiron, Neil J. Ross, Peter Selinger, D. Scott Alexander, Jonathan M. Smith,
*Programming the quantum future*, Communications of the ACM**58**8 (2015) 52–61 [doi:10.1145/2699415, pdf, web, promo vid:YT]

added pointer to:

- Manuel A. Serrano, Ricardo Pérez-Castillo, Mario Piattini,
*Quantum Software Engineering*, Springer (2022) $[$doi:10.1007/978-3-031-05324-5$]$

have added pointer to

- Peter Selinger, Benoît Valiron,
*Quantum Lambda Calculus*, Semantic Techniques in Quantum Computation, Cambridge University Press (2009) 135-172 $[$doi:10.1017/CBO9781139193313.005, pdf$]$

and will create a stub-page *quantum lambda-calculus*

added pointer to:

- B. Heim et al.,
*Quantum programming languages*, Nat Rev Phys**2**(2020) 709–722 $[$doi:10.1038/s42254-020-00245-7$]$

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]

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]

added pointer to:

- Jarosław Adam Miszczak,
*Models of quantum computation and quantum programming languages*, Bull. Pol. Acad. Sci.-Tech. Sci., Vol. 59, No. 3 (2011), pp. 305-324 (arXiv:1012.6035)

added this pointer:

- Jarosław Adam Miszczak,
*High-level Structures for Quantum Computing*, Morgan&Claypool 2012 (doi:10.2200/S00422ED1V01Y201205QMC006, pdf)

added pointer to:

Samson Abramsky, Bob Coecke,

*A categorical semantics of quantum protocols*, Proceedings of the 19th IEEE conference on Logic in Computer Science (LiCS’04). IEEE Computer Science Press (2004) (arXiv:quant-ph/0402130)Samson Abramsky, Ross Duncan,

*A Categorical Quantum Logic*, Mathematical Structures in Computer Science, Volume 16, Issue 3 (2006) pp. 469 - 489 (arXiv:quant-ph/0512114, doi:10.1017/S0960129506005275)

added pointer for *QWIRE*

added pointer to:

- Ross Duncan,
*Types for Quantum Computing*, 2006 (pdf)

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