31 citations · 52 across the 9 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.PL2013★ 2 cited
Session Types with Runtime Adaptation: Overview and Examples
Cinzia Di Giusto, Jorge A. Pérez
In recent work, we have developed a session types discipline for a calculus that features the usual constructs for session establishment and communication, but also two novel const…
cs.LO2013★ 19 cited
A Categorical Theory of Patches
Samuel Mimram, Cinzia Di Giusto
When working with distant collaborators on the same documents, one often uses a version control system, which is a program tracking the history of files and helping importing modif…