信息与计算,第155卷
第155卷,编号1-2,1999年11月/12月
拉尔斯·比克达尔 , 罗伯·哈波 :
操作环境中递归类型的关系解释。 3-63 大森Atsushi Ohori :
多态性的类型定向特化。 64-107 金·布鲁斯 , 鲁卡·凯德利 , 本杰明·皮尔斯 :
比较对象编码。 108-133 雅克·加里格 , 迪迪埃·雷米 :
ML的半显式第一类多态性。 134-169 马塞洛·M·邦桑格 , Joost N.Kok公司 :
走向领域的无限逻辑:过渡系统的Abramsky逻辑。 170-201