On the Preciseness of Subtyping in Session Types - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida. On the Preciseness of Subtyping in Session Types. In Olaf Chitil, Andy King, Olivier Danvy, editors, Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014. pages 135-146, ACM, 2014. [doi]

This author has not been identified. Look up 'Tzu-Chun Chen' in GoogleThis author has not been identified. It may be one of the following persons:

Mariangiola Dezani-Ciancaglini

Look up 'Mariangiola Dezani-Ciancaglini' in GoogleThis author has not been identified. Look up 'Nobuko Yoshida' in Google

runs on WebDSL