3 citations · 6 across the 13 of their papers we have counts for
1 paper · 1 filter
Carlo Spaccasassi, Vasileios Koutavas
We propose a type-based analysis to infer the session protocols of channels in an ML-like concurrent functional language. Combining and extending well-known techniques, we develop…