An Effect System for Algebraic Effects and Handlers

  • Andrej Bauer
  • Matija Pretnar
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8089)

Abstract

We present an effect system for algebraic effects and handlers. Because handlers may transform an effectful computation into a pure one, the effect system is non-monotone in the sense that effects do not just accumulate, but may also be deleted from types or generally transformed. We also provide denotational semantics for the effect system, based on a domain-theoretic model with partial equivalence relations. The semantics validates equational reasoning about effectful computations.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Andrej Bauer
    • 1
  • Matija Pretnar
    • 1
  1. 1.Faculty of Mathematics and PhysicsUniversity of LjubljanaSlovenia

Personalised recommendations