A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers.

Dariusz Biernacki, Sergue Lenglet, Piotr Polesiuk

Browse the full FSCD paper archive.