102 citations · 226 across the 18 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 3 cited
On Sessions and Infinite Data
Paula Severi, Luca Padovani, Emilio Tuosto +1
We define a novel calculus that combines a call-by-name functional core with session-based communication primitives. We develop a typing discipline that guarantees both normalisati…
cs.PL2016
On the chemistry of typestate-oriented actors
Silvia Crafa, Luca Padovani
Typestate-oriented programming is an extension of the OO paradigm in which objects are modeled not just in terms of interfaces but also in terms of their usage protocols, describin…