A functional quantum programming language (2005)

by Jonathan James Grattage , James Chapman , Alex Green , Mark Jago , Wouter Swierstra , Mauro Jaskelioff
Venue:In: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
Citations:47 - 12 self

Documents Related by Co-Citation

1368 Quantum Computation and Quantum Information – M Nielsen, I Chuang - 2000
44 A lambda calculus for quantum computation with classical control – Peter Selinger, Benoît Valiron - 2005
110 Towards a quantum programming language – Peter Selinger - 2004
47 Conventions for Quantum Pseudocode – E. Knill - 1996
62 Quantum Programming – J. W. Sanders, P. Zuliani - 1999
49 A lambda calculus for quantum computation – André Van Tonder
27 Quantum Weakest Preconditions – Ellie D'Hondt, Prakash Panangaden - 2005
149 A Categorical Semantics of Quantum Protocols – Samson Abramsky, Bob Coecke
422 Teleporting an Unknown Quantum State via Dual Classical and EPR Channels – Charles H. Bennett, Gilles Brassard, Claude Crépeau, Richard Jozsa, Asher Peres, William K. Wootters - 1993
16 Modeling quantum computing in Haskell – A Sabry - 2003
650 Quantum theory, the Church-Turing principle and the universal quantum computer – David Deutsch - 1985
601 Quantum Cryptography: Public key distribution and coin tossing – C H Bennett, G Brassard - 1984
27 Quantum computation, categorical semantics and linear logic. quant-ph/0312174 – André Van Tonder - 2003
160 Generalising Monads to Arrows – John Hughes - 1998
15 Operational semantics for a formal tensorial calculus – P Arrighi, G Dowek - 2004
17 Quantum typing, in – Benoît Valiron
39 Communicating quantum processes – Simon J. Gay - 2005
18 A Structural Approach to Reversible Computation – Samson Abramsky - 2001
34 Quantum Computing – M Hirvensalo - 2001