Handling fibred algebraic effects


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


1 Figure or Table

Slides referencing similar topics