A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Runners in Action
[chapter]
2020
Lecture Notes in Computer Science
Runners of algebraic effects, also known as comodels, provide a mathematical model of resource management. We show that they also give rise to a programming concept that models top-level external resources, as well as allows programmers to modularly define their own intermediate "virtual machines". We capture the core ideas of programming with runners in an equational calculus λ coop, which we equip with a sound and coherent denotational semantics that guarantees the linear use of resources and
doi:10.1007/978-3-030-44914-8_2
fatcat:3bywcggkrbbrzh73hj7qib44zi