20 citations · 67 across the 17 of their papers we have counts for
1 paper · 1 filter
Julien Lange, Nobuko Yoshida
Subtyping is a crucial ingredient of session type theory and its applications, notably to programming language implementations. In this paper, we study effective ways to check whet…