Gödel语言编译时类型处理技术研究

林永鹏1 ，赵致琢1，2+ ，李慧琪1 ，徐丹1

Disposal of the Type System in Compiler for Gödel

LIN Yongpeng ¹， ZHAO Zhizhuo ^1，2+， LI Huiqi ¹， XU Dan ¹

计算机科学与探索 . 2010, (3): 256 -264 . DOI: 10.3778/j.issn.1673-9418.2010.03.008