3 citations · 4 across the 5 of their papers we have counts for
1 paper · 2 filters
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…