ACM SIGPLAN - [GALOP'24] Operational game semantics for generative algebraic effects and handlers
Sign in to continue reading, translating and more.
