Alexander S. Green

Latest

• An Introduction to Quantum Programming in Quipper
• Quipper: A Scalable Quantum Programming Language
• Towards a Formally Verified Functional Quantum Programming Language
• The Quantum IO Monad