We study fundamental properties of a generalisation of monad called parametric effect monad, and apply it to the interpretation of general effect systems whose effects have sequential composition operators.Expand

We introduce metric CPOs, a novel semantic structure for reasoning about computation on metric spaces, by endowing CPO's with a compatible notion of distance.Expand

We establish in particular that every graded monad can be factored in two different ways as a strict action transported along a left adjoint functor.Expand

A semantic formulation of Lindley and Stark's ⊤⊤-lifting in set theory, and apply it to the logical predicates for Moggi's computational metalanguage.Expand

We consider the problem of establishing a relationship between two interpretations of base type terms of a @l"c-calculus extended with algebraic operations.Expand

We introduce a method to lift monads on the base category of a fibration to its total category using codensity monads, applicable to various fibrations which were not supported by categorical >>-lifting.Expand

We present a unifying solution to the problem of fusion of functions, where both the producer function and the consumer function have one accumulating parameter.Expand