The quantum IO monad

Semantic Techniques in Quantum Computation

Volumn 9780521513746, Issue , 2013, Pages 173-205

  Altenkirch, Thorsten ^a   Green, Alexander S ^a  

^a UNIVERSITY OF NOTTINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FUNCTIONAL PROGRAMMING; NUMBER THEORY; RANDOM NUMBER GENERATION; SEMANTICS;

AUXILIARY QUBITS; CONSTRUCTIVE SEMANTICS; EMBEDDINGS; FUNCTIONAL INTERFACE; HASKELL; MODULARS; PROBABILISTIC COMPUTATION; PROBABILITY: DISTRIBUTIONS; PURELY FUNCTIONAL; QUANTUM PROGRAMMING;

PROBABILITY DISTRIBUTIONS;

EID: 77951497206     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1017/CBO9781139193313.006     Document Type: Chapter

References (23)

1. Altenkirch, T., and Grattage, J. (2005) A functional quantum programming language. In Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS). IEEE Computer Society. Also arXiv:quant-ph/0409065.
2. Arrighi, P., and Dowek, G. (2008) Linear-algebraic A-calculus: higher-order, encodings, and confluence. In Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings, page 17. Springer.
3. Coq Development Team (2004) The Coq Proof Assistant Reference Manual. LogiCal Project. Version 8.0.
4. Danos, V., Kashefi, E., and Panangaden, P. (2007) The measurement calculus. Journal of the ACM 54(2). Preliminary version in arXiv:quant-ph/0412135.
5. Deutsch, D. (1985) Quantum theory, the Church-Turing principle and the universal quantum computer. Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences 400(1818):97-117.
6. Gay, S. J. (2006) Quantum programming languages: survey and bibliography. Mathematical Structures in Computer Science 16(4).
7. Green, A. (2008) The Quantum IO Monad, source code and examples. http://www.cs.nott.ac. uk/ãsg/QIO/.
8. Hutton, G. (2007) Programming in Haskell. Cambridge University Press.
9. Jones, S. P. (2003) Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press.
10. Karczmarczuk, J. (2003) Structure and interpretation of quantum mechanics - a functional framework. In Proceedings of the ACM SIGPLAN Workshop on Haskell. ACM Press.
11. Mu, S.-C., and Bird, R. (2001) Functional quantum programming. In Proceedings of the 2nd Asian Workshop on Programming Languages and Systems.
12. Nielsen, M. A., and Chuang, I. L. (2000) Quantum Computation and Quantum Information. Cambridge University Press.
13. Norell, U. (2007) Towards a Practical Programming Language Based on Dependent Type Theory. Ph.D. thesis, Department of Computer Science and Engineering, Chalmers University of Technology, SE-412 96 Göteborg, Sweden.
14. Rivest, R. L., Shamir, A., and Adelman, L. M. (1977) A method for obtaining digital signatures and public-key cryptosystems. Technical Report MIT/LCS/TM-82.
15. Rüdiger, R. (2007) Quantum programming languages: An introductory overview. The Computer Journal 50(2):134-150.
16. Sabry, A. (2003) Modelling quantum computing in Haskell. In Proceedings of the ACMSIGPLAN Workshop on Haskell. ACM Press.
17. Shor, P. (1994) Algorithms for quantum computation: discrete logarithms and factoring. In Proceedings, 35th Annual Symposium on Foundations of Computer Science. IEEE Press.
18. Sittampalam, G. (2008) Restricted monads in Haskell, LiveJournal entry. http://hsenag. livejournal.com/11803.html.
19. Swierstra, W. (2008) A Functional Specification of Effects. Ph.D. thesis, University of Nottingham.
20. Swierstra, W., and Altenkirch, T. (2007) Beauty in the beast: A functional semantics of the awkward squad. In Haskell '07: Proceedings of the ACM SIGPLAN workshop on Haskell.
21. Swierstra, W., and Altenkirch, T. (2008) Dependent types for distributed arrays. Presented at Trends in Functional Programming (TFP 2008). Submitted for final proceedings.
22. Vedral, V., Barenco, A., and Ekert, A. (1995) Quantum networks for elementary arithmetic operations.
23. Vizzotto, J. K., Altenkirch, T., and Sabry, A. (2006) Structuring quantum effects: Superoperators as arrows. Mathematical Structures in Computer Science 16(3). Also arXiv:quant-ph/0501151.