Instrumentation with effects and handlers #7445
magnus-madsen
started this conversation in
Ideas
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
We discussed something like: Compiling Symbolic Execution with Staging and Algebraic Effects https://dl.acm.org/doi/pdf/10.1145/3428232
Beta Was this translation helpful? Give feedback.
All reactions