Semantics of Type-And-Effect Systems
Effects are ubiquitous in programming languages. Ever since Moggi introduced monads to programming language semantics in his computational lambda calculus, there have been generalizations and reformulations of categorical semantics of effect systems.
See the works below:
- Strict and Lazy Semantics for Effects With Ross Tate. Published in the International Conference on Functional Computing, 2018.