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: