Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
