48 citations · 321 across the 68 of their papers we have counts for
Showing 2020 · cs.PLShow all
3 papers · 2 filters
cs.PL2020
The (In)Efficiency of Interaction
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Evaluating higher-order functional programs through abstract machines inspired by the geometry of the interaction is known to induce efficiencies, the price being…
cs.PL2020★ 2 cited
On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem
Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago +1
Logical relations are one of the most powerful techniques in the theory of programming languages, and have been used extensively for proving properties of a variety of higher-order…
cs.PL2020
A Diagrammatic Calculus for Algebraic Effects
Ugo Dal Lago, Francesco Gavazzo
We introduce a new diagrammatic notation for representing the result of (algebraic) effectful computations. Our notation explicitly separates the effects produced during a computat…