We have recently finished the first draft of a paper on functional quantum programming. See http://www.cs.nott.ac.uk/~txa/publ/qml-draft.pdf Any comments are welcome. Thorsten