Productive Quantum Programming Needs Better Abstract Machines. - Santiago Núñez-Corrales; Olivia Di Matteo; John Dumbell; Marcus Edwards; Edoardo Giusto; Scott Pakin; Vlad Stirbu (CoRR, 2025)