@收款{zbMATH06344239，作者={Alavi、Hamed Seied和Gilbert、Seth和Guerraoui、Rachid}，Title={类型层次结构的可扩展编码}，BookTitle={第35届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'08，旧金山，加利福尼亚州，美国，2008年1月7日至12日}，国际标准图书编号={978-1-59593-689-9}，页码={349--358}，年份={2008}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/1328438.1328480}，关键词={68Q65,68N15,68N30,68P15,68P30,68Q17}，URL={infoscience.epfl.ch/record/1139997}，zbMATH={6344239}，Zbl={1295.68160}}