Zhenguo Yang, Farong Zhong, Jinfang Zhang. A Polymorphic Type System with Progress for Binary Sessions. In Fu Lee Wang, Jingsheng Lei, Zhiguo Gong, Xiangfeng Luo, editors, Web Information Systems and Mining - International Conference, WISM 2012, Chengdu, China, October 26-28, 2012. Proceedings. Volume 7529 of Lecture Notes in Computer Science, pages 451-461, Springer, 2012. [doi]
Abstract is missing.