Preliminary Proceedings of the 4th International Workshop on Quantum Programming Languages

July 17-19, 2006, Oxford

Peter Selinger (editor)

The final version was published in Electronic Notes in Theoretical Computer Science, volume 210, pages 1-152, 2008.

Front matter

  • Preface. [pdf]
. . . . . . . . . v
  • Table of Contents. [pdf]
. . . . . . . . vii

Articles

  • B. Coecke
    Axiomatic description of mixed states from Selinger's CPM construction [pdf]
. . . . . . 1-10

  • B. Coecke, E. O. Paquette
    POVMs and Naimark's theorem without sums [pdf]
. . . . . 11-22

  • Y. Delbecque
    A quantum game semantics for the measurement calculus [pdf]
. . . . . 23-38

  • A. Di Pierro, H. Wiklicky
    Semantic abstraction and quantum computation [pdf]
. . . . . 39-52

  • A. S. Green, T. Altenkirch
    From reversible to irreversible computations [pdf]
. . . . . 53-62

  • P. Jorrand, S. Perdrix
    Towards a quantum calculus [pdf]
. . . . . 63-71

  • M. Lampis, K. G. Ginis, N. S. Papaspyrou
    Quantum data and control made easier [pdf]
. . . . . 73-86

  • P. Selinger
    Idempotents in dagger categories [pdf]
. . . . 87-101

  • P. Selinger, B. Valiron
    On a fully abstract model for a quantum linear functional language [pdf]
. . . 103-115

  • J. K. Vizzotto, A. C. da Rocha Costa, A. Sabry
    Quantum arrows in Haskell [pdf]
. . . 117-130

*
Proceedings of previous workshops: QPL 2004, QPL 2005.

Back to the QPL 2006 home page.