@InCollection{zbMATH07121850，作者={Schmidt-Schau{\ss}，Manfred和Sabel，David}，标题＝{按需调用和按名称调用多态型结石的上下文等价性（初步报告）}，BookTitle={关于程序转换和重写技术的第一次国际研讨会评估，WPTE’14，奥地利维也纳，2014年7月13日}，国际标准图书编号={978-3-939897-70-5}，页码={63--74}，年份={2014}，出版商=｛Wadern:Schloss Dagstuhl-Leibniz Zentrum f｛\“u｝r Informatik｝，语言={英语}，DOI={10.4230/OASIcs.WPTE.2014.63}，关键词={68N18，68Q55}，zbMATH={7121850}，Zbl={1428.68113}}