Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore a doctoral research presentation on lexical effect handlers, focusing on the design and implementation of Lexa, a high-performance language and compiler system. Learn about the challenges that have limited practical adoption of lexically scoped effect handlers despite their expressivity and strong reasoning principles. Discover how Lexa achieves state-of-the-art performance through innovative compiler techniques that advance both implementation theory and practice. Examine the formal correctness proofs that validate all developed techniques, demonstrating how deep semantic insights can bridge the gap between theoretical elegance and practical efficiency. Understand the significance of making lexically scoped handlers performant as effect handlers gain mainstream adoption in programming language design. The presentation covers compiler optimization strategies, semantic foundations, and performance benchmarks that show Lexa outperforming existing compiler implementations in the field of effect handler systems.
