Type-Based Analysis for Session Inference (Extended Abstract).

Carlo Spaccasassi, Vasileios Koutavas

Browse the full FORTE paper archive.