The PPDP Most Influential Paper 10-Year Award for our work [11]
was a delightful surprise. We subsequently reviewed the subsequent
literature to see how our results have been utilised. This short note
aims to capture crucial references without missing too many.
Keywords:
subtyping
,session types
,soundness and completeness
,π-calculus