Coursera Spring Sale
40% Off Coursera Plus Annual!
Grab it
Explore a novel transition-system perspective for understanding higher-order contract systems in this 15-minute conference presentation from OOPSLA 2025. Learn how researchers Shu-Hung You, Christos Dimoulas, and Robert Bruce Findler from Northwestern University address the fragmentation and redundancy in contract system metatheories that has accumulated over 15 years of research. Discover how viewing contract systems as transition systems enables significant reuse opportunities in metatheoretical development, reducing the tedious work that has historically occupied researchers' time without benefit. Examine representative properties from existing literature through this unified lens, including internal consistency aspects like complete monitoring and correct blame, semantic details of contract combinators such as dependency, and efficiency challenges in avoiding asymptotically poor redundant checking. Gain insights into a new proof demonstrating that elimination of redundant contract checks can eliminate asymptotic slowdowns, supported by a mechanized development in Agda that confirms the practical viability of this approach for future contract system research.
