Can I read First-Class Named Effect Handlers on EtoBox?

First-Class Named Effect Handlers by mihaidi70 is a document available to read on EtoBox.

What is First-Class Named Effect Handlers about?

This technical report discusses a novel design for first-class named effect handlers in functional programming languages, addressing the challenges of using multiple instances of the same effect. The authors propose a system where handler names are first-class values, ensuring well-scopedness without complex binding mechanisms, and demonstrate its implementation in the Koka programming language. The report also formalizes the system and proves its type soundness, contributing to the theory of algebraic effe

Author

mihaidi70

Language

EN