QPCF: Higher-Order Languages and Quantum Circuits