%0 Journal Article
%T Type System in Programming Languages
%A JIANG Hui
%A ZHANG Xingyuan
%A LIN Dong
%A Xie Xiren
%A <br>蒋慧
%A 林东
%J 计算机科学技术学报
%D 2001
%I 
%K type system
%K type inference
%K type-checking
%K type theory
%K semantic model<br>程序设计
%K 程序设计语言
%K C＋＋
%K 打印系统
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=51EA5E88A1EDCB0FF71EC26E741C53FE&yid=14E7EF987E4155E6&vid=7801E6FC5AE9020C&iid=38B194292C032A66&sid=2B25C5E62F83A049&eid=2B25C5E62F83A049&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=17