The enriched effect calculus: syntax and semantics

@article{Egger2014TheEE,
  title={The enriched effect calculus: syntax and semantics},
  author={Jeff Egger and Rasmus Ejlers M\ogelberg and Alex K. Simpson},
  journal={J. Log. Comput.},
  year={2014},
  volume={24},
  pages={615-654}
}
This paper introduces the enriched effect calculus, which extends established type theories for computational effects with primitives from linear logic. The new calculus provides a formalism for expressing linear aspects of computational effects; for example, the linear usage of imperative features such as state and/or continuations. The enriched effect calculus is implemented as an extension of a basic effect calculus without linear primitives, which is closely related to Moggi’s computational… CONTINUE READING