×
阿马尔·艾哈迈德;罗伯特·布鲁斯·芬德勒;杰里米·西克。;菲利普·沃德勒

对所有人负责。 （英语） 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年；兹bl 1284.68156）
全文： 内政部