Domain-Specific Languages

We have developed Latent Effects and Handlers, a new class of effects and handlers that support advanced control-flow mechanisms such as lazy evaluation, functions with effectful bodies or multistaging.