Showing cs.PLShow all
2 papers · 1 filter
cs.PL2023
Full Abstraction for Free
Marco Paviotti, Nicolas Wu
Structured recursion schemes such as folds and unfolds have been widely used for structuring both functional programs and program semantics. In this context, it has been customary…
cs.PL2022
Structured Handling of Scoped Effects: Extended Version
Zhixuan Yang, Marco Paviotti, Nicolas Wu +2
Algebraic effects offer a versatile framework that covers a wide variety of effects. However, the family of operations that delimit scopes are not algebraic and are usually modelle…