Effects in Skel From Exceptions to Delimited Computation


Alan Schmitt, INRIA, Research Center Rennes. Oct. 10, 2024, 10 a.m. TLR limd 2:00:00
Abstract:

Skeletal Semantics is a meta-language to describe the semantics of programming languages. We present it through several examples, highlighting how complex features can be captured in a readable way using monads. These features range from simple effects like exceptions to more complex ones like generators.