编辑配置文件（在新选项卡中打开） J·J·哈利特。 合著者距离 作者ID： 哈莱特.j-j 发布日期： J·J·哈利特。 已编制索引的文档： 2出版物自2005年以来 合著者： 3位合著者具有1联合出版物 48位合作作者 合著者 1 单作者的 1 维克托·卢昌科 1 柳，苏京 1 盖·刘易斯·朱·斯蒂尔。 系列 1 计算机程序设计科学 领域 2 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物具有被引用1中的时间1文件 引用人▼ 年份▼ 将强制与子类型和多重分派集成。 Zbl 1197.68033号 J·J·哈利特。;维克托·卢昌科;柳，苏京;斯蒂尔，盖伊·L·琼。 1 2010 将强制与子类型和多重分派集成。 Zbl 1197.68033号 J·J·哈利特。;维克托·卢昌科;柳，苏京;盖·利·朱·斯蒂尔（Guy L.jun Steele）。 1 2010 3位作者引用 1 彼得·皮尔克鲍尔 1 尤里·索洛德基 1 Bjarne斯特劳斯特鲁普 连载1篇 1 计算机程序设计科学 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文