%0 Journal Article
%T 类型系统的研究与进展
%A 周晓聪 李文军？
%J 计算机科学
%D 2000
%K 类型系统λ演算面向对象软件开发
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=4223632&flag=1