nLab Alexander Green

• haskellers page

• github page

Selected writings

Introducing the quantum IO monad:

• Alexander Green, The Quantum IO Monad, Nottingham (2007) [pdf, pdf ]

• Thorsten Altenkirch, Alexander Green, The quantum IO monad, Ch. 5 of: Simon Gay, Ian Mackie (eds.): Semantic Techniques in Quantum Computation (2010) 173-205 [pdf, doi:10.1017/CBO9781139193313.006]

Implementation in Haskell:

• Alexander Green, hackage.haskell.org/package/QIO

On formally verified quantum programming languages like QML:

• Alexander Green, Towards a formally verified functional quantum programming language (2010) [eprints:11457]

Introducing the functional quantum programming language Quipper:

• Alexander Green, Peter LeFanu Lumsdaine, Neil Ross, Peter Selinger, Benoît Valiron, Quipper: A Scalable Quantum Programming Language, ACM SIGPLAN Notices 48(6):333-342, 2013 (arXiv:1304.3390)

• Alexander Green, Peter LeFanu Lumsdaine, Neil Ross, Peter Selinger, Benoît Valiron, An Introduction to Quantum Programming in Quipper, Lecture Notes in Computer Science 7948:110-124, Springer, 2013 (arXiv:1304.5485)

category: people