阿马尔·艾哈迈德;罗伯特·布鲁斯·芬德勒;Jeremy G.西耶克。;菲利普·瓦德勒 对所有人负责。 (英语) Zbl 1284.68156号 2011年1月26日至28日,美国德克萨斯州奥斯汀,POPL'11,第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0490-0)。201-214 (2011). 引用于1审查引用于8文件 MSC公司: 68号30 软件工程的数学方面(规范、验证、度量、需求等) 68甲18 函数编程和lambda演算 68甲15 编程语言理论 关键词:指责追踪;铸件;强制转换;λ-微积分 引文:Zbl 1133.68320号;Zbl 1262.68026号 软件:圣人;支架;佩尔 PDF格式BibTeX公司 XML格式引用 \textit{A.Ahmed}等人,《第38届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》,POPL’11,美国德克萨斯州奥斯汀,2011年1月26日至28日。纽约州纽约市:计算机协会(ACM)。201-214(2011;Zbl 1284.68156) 全文: 内政部