research
∙
03/16/2023
Full Abstraction for Free
Structured recursion schemes such as folds and unfolds have been widely ...
share
research
∙
06/18/2022
Fusing Industry and Academia at GitHub (Experience Report)
GitHub hosts hundreds of millions of code repositories written in hundre...
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...
research
∙
01/25/2022
Structured Handling of Scoped Effects: Extended Version
Algebraic effects offer a versatile framework that covers a wide variety...
research
∙
12/07/2021
A Specification for Typed Template Haskell
Multi-stage programming is a proven technique that provides predictable ...
research
∙
08/25/2021
Latent Effects for Reusable Language Components: Extended Version
The development of programming languages can be quite complicated and co...
research
∙
03/10/2021
Linear Constraints
A linear argument must be consumed exactly once in the body of its funct...
research
∙
05/17/2018