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

Active Bibliography

23 Information and Computation: Classical and Quantum Aspects – A. Galindo, M. A. Martín-delgado - 2001
4 Quantum Programming Languages: An Introductory Overview – Roland Rüdiger - 2006
4 Quantum information and computation – Jeffrey Bub - 2005
7 Quantum algorithmic information theory – K. Svozil - 1996
Theory of measurement-based quantum computing – Jonathan Robert Niel de Beaudrap - 2008
1 Quantum Information Processing: Algorithms, Technologies and Challenges – John H. Reif
7 Alternative Computational Models: A Comparison of Biomolecular and Quantum Computation – John H. Reif - 1998
2 Fundamental Physical Limits on Computation – Warren D. Smith - 1995
7 Physics and the New Computation – Paul Vitányi - 1995
Mechanical Computiation: its . . . – John H. Reif
Database Manipulation on Quantum Computers – Ahmed Younes - 2008
Computer-Aided-Design Methods for Emerging Quantum Computing Technologies – David Dov Yehuda Feinstein - 2008
4 Decoherence, Control and Symmetry in Quantum Computers – Dave Morris Bacon, Dave Morris Bacon, Dave Morris Bacon - 2001
201 Fault-tolerant quantum computation – Peter W. Shor - 1996
3 Quantum computation and quantum information – Marius Nagy, Selim G. Akl - 2006
the context of Quantum Information Theory. – Miguel A. Martin-delgado - 2004
When Abandoned Bits Bite Back -- Reversibility and Quantum Computing – Paul Fitzpatrick - 2002
3 An application of quantum finite automata to interactive proof systems – Harumichi Nishimura, Tomoyuki Yamakami - 2004
4 QML: Quantum data and control – Thorsten Altenkirch, Jonathan Grattage - 2005