[PLanQC'24] A feasible and unitary programming language with quantum control | ACM SIGPLAN | Podwise