布鲁斯(Kim B.Bruce)。;卢卡·卡德利;本杰明·皮尔斯。 比较对象编码。 (英语) Zbl 1045.68528号 Inf.计算。 155,编号1-2,108-133(1999).MSC公司:68甲19 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{K.B.Bruce}等人,《信息计算》。155,编号1--2,108-133(1999;Zbl 1045.68528) 全文: DOI程序
马丁·阿巴迪;卢卡·卡德利;B.皮尔斯。;雷米·D·。 多态语言中的动态类型。 (英语) 兹伯利0819.68142 J.功能。程序。 5,第1期,111-130(1995).MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \文本{M.Abadi}等人,J.Funct。程序。5,编号1,111--130(1995;Zbl 0819.68142) 全文: DOI程序