Operational Game Semantics for Generative Algebraic Effects and Handlers.

Hamza Jaafar, Guilhem Jaber

Browse the full PPDP paper archive.