Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Watch this 14-minute conference presentation from OOPSLA 2025 that formally introduces a novel monomorphization technique for parametric type-polymorphism that extends beyond traditional limitations. Learn how researchers Matthew Lutze, Philipp Schuster, and Jonathan Immanuel Brachthäuser from Aarhus University and University of Tübingen present a type-based flow analysis approach that generalizes monomorphization to programs with higher-rank types, existential types, and arbitrary combinations. Discover how their method, inspired by algebraic subtyping, tracks the flow of type instantiations through programs while avoiding runtime overhead through code duplication rather than uniform representations. Explore the identification of polymorphic recursion as cyclic flow and understand the novel concept of "polymorphic packing" - a new form of polymorphic recursion that emerges in the presence of existential types. Examine the meta-theoretical foundations showing that this translation approach is both type-preserving and semantically step-wise preserving, addressing a significant gap in formal treatments of this important folklore implementation technique in programming language theory.
