%0 Journal Article
%T elf类型理论及其应用
%A 王飓安 李未？
%J 计算机科学
%D 1992
%K 类型理论elf计算机程序设计
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=799996&flag=1