• Publications
  • Influence
Parametric effect monads and semantics of effect systems
TLDR
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
  • 71
  • 6
  • PDF
A semantic account of metric preservation
TLDR
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
  • 23
  • 5
  • PDF
Towards a Formal Theory of Graded Monads
TLDR
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
  • 31
  • 4
  • PDF
Combining effects and coeffects via grading
TLDR
We introduce a new general calculus with a combined effect-coeffect system. Expand
  • 30
  • 2
  • PDF
Attribute Grammars and Categorical Semantics
TLDR
We give a new formulation of attribute grammars (AG for short) called monoidalAGsin traced symmetric monoidal categories. Expand
  • 11
  • 2
  • PDF
A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage
TLDR
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
  • 30
  • 1
  • PDF
Relating computational effects by ⊤⊤-lifting
TLDR
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
  • 16
  • 1
  • PDF
Codensity Liftings of Monads
TLDR
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
  • 14
  • 1
  • PDF
Extensional Models of Untyped Lambda-mu Calculus
TLDR
This paper proposes new mathematical models of the untyped Lambda-mu calculus. Expand
  • 7
  • 1
  • PDF
Algebraic fusion of functions with an accumulating parameter and its improvement
TLDR
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
  • 5
  • 1
  • PDF
...
1
2
3
4
5
...