A. S. Green

发表

P L ] 1 1 A pr 2 01 3 Quipper : A Scalable Quantum Programming Language

A. S. Green, 2013 .

Quipper: a scalable quantum programming language

Benoît Valiron, Alexander S. Green, Peter LeFanu Lumsdaine, 2013, PLDI.

An Introduction to Quantum Programming in Quipper pdf

Benoît Valiron, Alexander S. Green, Peter LeFanu Lumsdaine, 2013, RC.

Towards a formally verified functional quantum programming language

Alexander S. Green, A. S. Green, 2010 .