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:46 - 12 self

Documents Related by Co-Citation

1355 Quantum computation and quantum information – M A Nielsen, I L Chuang - 2000
44 A lambda calculus for quantum computation with classical control – Peter Selinger, Benoît Valiron - 2005
111 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
153 A Categorical Semantics of Quantum Protocols – Samson Abramsky, Bob Coecke
421 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
656 Quantum theory, the Church-Turing principle and the universal quantum computer – David Deutsch - 1985
597 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
159 Generalising Monads to Arrows – John Hughes - 1998
17 Quantum typing, in – Benoît Valiron
15 Operational semantics for a formal tensorial calculus – P Arrighi, G Dowek - 2004
39 Communicating quantum processes – Simon J. Gay - 2005
18 A Structural Approach to Reversible Computation – Samson Abramsky - 2001
34 On quantum computation – M Hirvensalo - 1997