Effects and coeffects are two general, complementary aspects of program behaviour. They
roughly correspond to computations which change the execution context (effects) versus …

Algebraic effects and effect handlers provide a modular abstraction for effectful
programming. They support user-defined effects, as in Haskell, in conjunction with direct …

Effect and session type systems are two expressive behavioural type systems. The former is
usually developed in the context of the lambda-calculus and its variants, the latter for the pi …

Typed functional programming and units of measure are a natural combination, as F# ably
demonstrates. However, encoding statically-checked units in Haskell's type system leads to …

We propose session-ocaml, a novel library for session-typed concurrent/distributed
programming in OCaml. Our technique solely relies on parametric polymorphism, which can …

Abstract Effect systems were originally conceived as an inference-based program analysis
to capture program behaviour—as a set of (representations of) effects. Two orthogonal …

In static analysis, two frameworks have been studied extensively: monotone data-flow
analysis and type-and-effect systems. Whilst both are seen as general analysis frameworks …

Effect and coeffect tracking integrate many types of compile-time analysis, such as cost,
liveness, or dataflow, directly into a language's type system. In this paper, we investigate the …

We present associated effects, a programming language feature that enables type classes to
abstract over the effects of their function signatures, allowing each type class instance to …

We describe a new concrete approach to giving predictable error locations for sequential
(flow-sensitive) effect systems. Prior implementations of sequential effect systems rely on …