Stéphane Ducasse;纳撒内尔·施亚利;罗埃尔·伍兹 统一且安全的元类组成。 (英语) Zbl 1079.68521号 计算。语言系统。结构。 31,编号3-4,143-164(2005).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{S.Ducasse}等人,计算。语言系统。结构。31,编号3-4143-164(2005年;兹bl 1079.68521) 全文: 内政部
亚历山大·贝格尔;Stéphane Ducasse;奥斯卡·尼尔斯特拉斯;罗埃尔·伍兹 类框:控制类扩展的可见性。 (英语) Zbl 1101.68441号 计算。语言系统。结构。 31,第3-4、107-126号(2005).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Bergel}等人,《计算》。语言系统。结构。31,No.3--4,107-126(2005;Zbl 1101.68441) 全文: 内政部 链接