Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators

Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators

Explore the equivalence between labeled effect handlers and labeled delimited control operators in this 24-minute conference talk from ACM SIGPLAN's PPDP23. Delve into the development of type systems for each abstraction with label extensions, and examine the macro translations that establish their equal expressive power. Gain insights into how these equivalences create a strong connection between the two abstractions, enabling a deeper understanding of their implementation and interrelationship. Learn about the applications of these concepts in expressing multiple kinds of exceptions and states in programming languages.