Volume 210, July 2008

Proceedings of the 4th International Workshop on Quantum Programming Languages (QPL 2006)

• 
  Peter Selinger: Preface. 1-2
• 
  Bob Coecke: Axiomatic Description of Mixed States From Selinger's CPM-construction. 3-13
• 
  Bob Coecke, Éric Oliver Paquette: POVMs and Naimark's Theorem Without Sums. 15-31
• 
  Yannick Delbecque: A Quantum Game Semantics for the Measurement Calculus. 33-48
• 
  Alessandra Di Pierro, Herbert Wiklicky: Semantic Abstraction and Quantum Computation. 49-63
• 
  Alexander S. Green, Thorsten Altenkirch: From Reversible to Irreversible Computations. 65-74
• 
  Philippe Jorrand, Simon Perdrix: Towards a Quantum Calculus: (Work in Progress, Extended Abstract). 75-83
• 
  Michael Lampis, Kyriakos G. Ginis, Michalis A. Papakyriakou, Nikolaos S. Papaspyrou: Quantum Data and Control Made Easier. 85-105
• 
  Peter Selinger: Idempotents in Dagger Categories: (Extended Abstract). 107-122
• 
  Peter Selinger, Benoît Valiron: On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract). 123-137
• 
  Juliana Kaizer Vizzotto, Antônio Carlos da Rocha Costa, Amr Sabry: Quantum Arrows in Haskell. 139-152