Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
Explore a conference presentation from OOPSLA 2025 that introduces a novel approach to type-preserving compilation through flat closure optimization. Learn how researchers from the University of British Columbia address the fundamental tension between maintaining type safety and enabling crucial compiler optimizations in functional programming languages. Discover the limitations of existing typed closure conversion representations and understand why traditional approaches often interfere with important optimizations. Examine the innovative Flat-Closure Calculus (FCC) designed to overcome these limitations while preserving type information throughout the compilation process. Gain insights into the formal foundations of this approach, including proofs of type safety, subject reduction, and type preservation from existing closure-converted intermediate representations. Understand how this research enables common closure optimizations within a type-preserving framework, potentially improving both the safety and performance of compiled functional programs. The presentation covers the theoretical underpinnings, practical implementation considerations, and empirical validation of this approach to compiler design.
