research
∙
02/28/2022
Fantastic Morphisms and Where to Find Them: A Guide to Recursion Schemes
Structured recursion schemes have been widely used in constructing, opti...
share
research
∙
01/25/2022
Structured Handling of Scoped Effects: Extended Version
Algebraic effects offer a versatile framework that covers a wide variety...
research
∙
01/07/2020
