%0 Journal Article
%T ELF类型理论及其应用
%A 王飓安
%A 李未
%J 计算机科学
%D 1992
%I 
%X 一、引言近几年来,类型理论和基于类型理论的软件开发方法受到计算机界,特别是理论计算机科学界的广泛关注,吸引了不少研究人员,也取得了丰硕的成果。其中较有代表性的工作有
%K 类型理论
%K ELF
%K 计算机
%K 程序设计
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=996847EB97F6E5E8DD4173F52146F4E4&yid=F53A2717BDB04D52&vid=2A8D03AD8076A2E3&iid=0B39A22176CE99FB&sid=A04140E723CB732E&eid=B91E8C6D6FE990DB&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0