20 citations · 96 across the 24 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.PL2021★ 1 cited
From Semantics to Types: the Case of the Imperative lambda-Calculus
Ugo de'Liguoro, Riccardo Treglia
We propose an intersection type system for an imperative lambda-calculus based on a state monad and equipped with algebraic operations to read and write to the store. The system is…
cs.LO2021
Intersection Types for a Computational Lambda-Calculus with Global State
Ugo de'Liguoro, Riccardo Treglia
We study the semantics of an untyped lambda-calculus equipped with operators representing read and write operations from and to a global store. We adopt the monadic approach to mod…