-
Segal condition meets computational effects
International audience -
Patterns for computational effects arising from a monad or a comonad
This paper presents equational-based logics for proving first order properties of programming languages involving effects. We propose two dual inference system... -
Breaking a monad-comonad symmetry between computational effects
Extended version of Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2012, 22 (4), pp.719-722. 〈10.1017/S0960129511000752〉 -
Certified proofs in programs involving exceptions
International audience
