2 papers
cs.PL2022
Structured Handling of Scoped Effects: Extended Version
Zhixuan Yang, Marco Paviotti, Nicolas Wu +2
Algebraic effects offer a versatile framework that covers a wide variety of effects. However, the family of operations that delimit scopes are not algebraic and are usually modelle…
cs.LO2018
Denotational semantics of recursive types in synthetic guarded domain theory
Rasmus E. Møgelberg, Marco Paviotti
Just like any other branch of mathematics, denotational semantics of programming languages should be formalised in type theory, but adapting traditional domain theoretic semantics,…