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