Simple Reference Immutability for System F-sub

Explore the intersection of reference immutability and hybrid programming languages in this 15-minute conference talk from OOPSLA2 2023. Delve into how reference immutability, a type-based technique for controlling mutation, interacts with features common in languages that blend functional and object-oriented paradigms. Focus on the interplay between reference immutability and higher-order functions, polymorphism, and subtyping. Examine a constructed calculus System F that demonstrates these interactions. Gain insights from researchers Edward Lee and Ondřej Lhoták of the University of Waterloo as they present their findings on applying reference immutability techniques to languages like Scala. Access the full article and supplementary materials, which have been evaluated for functional artifacts, to deepen your understanding of type systems and their application in modern programming language design.