9 citations · 11 across the 2 of their papers we have counts for
2 papers
cs.LO2011★ 9 cited
Soft Session Types
Ugo Dal Lago, Paolo Di Giamberardino
We show how systems of session types can enforce interactions to be bounded for all typable processes. The type system we propose is based on Lafont's soft linear logic and is stro…
cs.LO2011★ 2 cited
Soft Session Types (Long Version)
Ugo Dal Lago, Paolo Di Giamberardino
We show how systems of sessions types can enforce interactions to be bounded for all typable processes. The type system we propose is based on Lafont's soft linear logic and is str…