published in Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation Journal
presented at event POPL '23: The 50th Annual ACM SIGPLAN Symposium on Principles of Programming Languages Conference
keywords Computer Science Computer Science, Software Engineering Computer Science, Theory & Methods Science & Technology Technology algebraic normal form boolean circuits partial evaluation quantum computation quantum oracles retrodictive quantum computing symbolic evaluation