AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
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.
