default search action
PEPM 2023: Boston, MA, USA
- Edwin C. Brady, Jens Palsberg:
Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2023, Boston, MA, USA, January 16-17, 2023. ACM 2023 - Jihee Park, Jaemin Hong, Sukyoung Ryu:
Semantic Transformation Framework for Rewriting Rules. 1-13 - Jacques Carette, Gerardo Ortiz, Amr Sabry:
Symbolic Execution of Hadamard-Toffoli Quantum Circuits. 14-26 - Ryo Tokuda, Yukiyoshi Kameyama:
Generating Programs for Polynomial Multiplication with Correctness Assurance. 27-40 - José Nuno Macedo, Emanuel Rodrigues, Marcos Viera, João Saraiva:
Efficient Embedding of Strategic Attribute Grammars via Memoization. 41-54 - Youyou Cong, Kenichi Asai:
Towards a Reflection for Effect Handlers. 55-65
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.