3 papers
cs.PL2025
Fair Termination for Resource-Aware Active Objects
Francesco Dagnino, Paola Giannini, Violet Ka I Pun +1
Active object systems are a model of distributed computation that has been adopted for modelling distributed systems and business process workflows. This field of modelling is, in…
cs.PL2025
An effectful object calculus
Francesco Dagnino, Paola Giannini, Elena Zucca
We show how to smoothly incorporate in the object-oriented paradigm constructs to raise, compose, and handle effects in an arbitrary monad. The underlying pure calculus is meant to…
cs.PL2025
Monadic type-and-effect soundness
Francesco Dagnino, Paola Giannini, Elena Zucca
We introduce the abstract notions of "monadic operational semantics", a small-step semantics where computational effects are modularly modeled by a monad, and "type-and-effect syst…