12 citations · 23 across the 4 of their papers we have counts for
5 papers
Behavioural Equivalence via Modalities for Algebraic Effects
Alex Simpson, Niels Voorneveld
The paper investigates behavioural equivalence between programs in a call-by-value functional language extended with a signature of (algebraic) effect-triggering operations. Two pr…
Łukasiewicz μ-calculus
Matteo Mio, Alex Simpson
The paper explores properties of the Łukasiewicz μ-calculus, or Łμ for short, an extension of Łukasiewicz logic with scalar multiplication and least and greatest fixed-point operat…
Łukasiewicz mu-Calculus
Matteo Mio, Alex Simpson
The paper explores properties of Łukasiewicz mu-calculus, a version of the quantitative/probabilistic modal mu-calculus containing both weak and strong conjunctions and disjunction…
Linear-use CPS translations in the Enriched Effect Calculus
Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson
The enriched effect calculus (EEC) is an extension of Moggi's computational metalanguage with a selection of primitives from linear logic. This paper explores the enriched effect c…
Relational Parametricity for Computational Effects
Rasmus Ejlers Møgelberg, Alex Simpson
According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied. The notion of relation…