Effectful Software Contracts - Design and Implementation

Explore a groundbreaking video presentation from the POPL 2024 conference that introduces a universal principle for effectful software contracts. Delve into the innovative design of an effectful contract system within the context of effect handlers, presented by researchers from PLT at Northeastern and Northwestern Universities. Learn about the key metatheorem demonstrating how contracts avoid undue interference with program execution. Discover the practical implementation of this theoretical design and its evaluation for generality. Gain insights into empowering programmers to describe functional properties of components while addressing the challenge of constraining effects in software development. Access supplementary materials, including reusable artifacts, to further explore this cutting-edge research in programming language theory and practice.