An Abstraction Hierarchy Toward Productive Quantum Programming. - Olivia Di Matteo; Santiago Núñez-Corrales; Michal Stechly; Steven P. Reinhardt; Tim Mattson (QCE, 2024)