Quipper: a scalable quantum programming language.

Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benot Valiron

Browse the full PLDI paper archive.