%0 Journal Article
%T 面向对象的类型—子类型分析及推理规则
%A 李必信 王云峰？
%J 计算机科学
%D 1999
%K 软件开发面向对象类型子类型推理规则
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=3868487&flag=1