From Reversible to Irreversible Computations. - Alexander S. Green; Thorsten Altenkirch (QPL, 2006)

Towards a formally verified functional quantum programming language. - Alexander S. Green (2010)

Quipper: a scalable quantum programming language. - Alexander S. Green; Peter LeFanu Lumsdaine; Neil J. Ross; Peter Selinger; Benoît Valiron (PLDI, 2013)

An Introduction to Quantum Programming in Quipper. - Alexander S. Green; Peter LeFanu Lumsdaine; Neil J. Ross; Peter Selinger; Benoît Valiron (RC, 2013)