32 citations · 78 across the 20 of their papers we have counts for
1 paper · 1 filter
Mario Bravetti, Marco Carbone, Julien Lange +2
Session types, types for structuring communication between endpoints in distributed systems, are recently being integrated into mainstream programming languages. In practice, a ver…