Practical Compilation of Quantum Programs. - Bruno Schmitt Antunes (2022)