nLab Benoît Valiron

Selected writings

Early consideration of quantum programming languages as quantum lambda-calculus invoking linear types:

[Selinger (2016):] When the QPL workshop series was first founded, it was called “Quantum Programming Languages”. 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 [[Selinger & Valiron 2004]], but the sad thing is: In those days nobody really cared. [...][...]

Now it’s 15 years later and several of these parameters have changed: There has been a renewed interest, from government agencies and also from companies who are actually building quantum computers. [...][...].

So now people are working on quantum programming languages again.

Implementation as an embedded programming language in Haskell:

  • Richard Eisenberg, Benoît Valiron, Steve Zdancewic, Typechecking Linear Data: Quantum Computation in Haskell [pdf]

Introducing the functional quantum programming language Quipper:

On linear algebra (finite-dimensional vector spaces over finite fields) as categorical semantics for linear logic/linear type theory:

Exposition of the general idea of quantum programming languages for classically controlled quantum computation with an eye towards the Quipper-language:

On dynamic lifting (of quantum measurement-results) in quantum programming/quantum computing:

On software verification (formal methods) for quantum computing/quantum algorithms:

See also:

  • Kostia Chardonnet, Marc de Visme, Benoît Valiron, Renaud Vilmart, The Many-Worlds Calculus [arXiv:2206.10234]
category: people

Last revised on February 26, 2024 at 12:42:46. See the history of this page for a list of all contributions to it.