research
∙
03/16/2023
Full Abstraction for Free
Structured recursion schemes such as folds and unfolds have been widely ...
share
research
∙
01/25/2022
Structured Handling of Scoped Effects: Extended Version
Algebraic effects offer a versatile framework that covers a wide variety...
research
∙
05/01/2018
