Jiang Hui Lin Dong Zhang Xingyuan Xie Xiren Type System in Programming Languages. 286-292 2001 16 J. Comput. Sci. Technol. 3 http://jcst.ict.ac.cn/cone/cone13.html#paper9 db/journals/jcst/jcst16.html#HuiDXX01