Handling fibred algebraic effects

Abstract

We study algebraic computational effects and their handlers in the dependently typed setting. We describe computational effects using a generalisation of Plotkin and Pretnar's effect theories, whose dependently typed operations allow us to capture precise notions of computation, e.g., state with location-dependent store types and dependently typed update… (More)
DOI: 10.1145/3158095

Topics

1 Figure or Table

Slides referencing similar topics