An Introduction to Quantum Programming in Quipper
Exponential algorithmic speedup by a quantum walk