Effects in Skel From Exceptions to Delimited Computation


Alan Schmitt, INRIA, Research Center Rennes. 10 octobre 2024 10:00 TLR limd
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.