×
阿马尔·艾哈迈德;马蒂亚斯·布鲁姆

类型闭合转换保留了观测等效性。 （英语） Zbl 1323.68350号

2008年9月20日至28日，加拿大不列颠哥伦比亚省维多利亚市，第13届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-919-7）。ACM SIGPLAN通知43，第9号，157-168（2008）。

引用于5文件

MSC公司：

68问题55 计算理论中的语义学
68甲15 编程语言理论
68甲18 函数编程和lambda演算
68N20型 编译与解释理论

关键词：

等价保存编译;完全抽象;阶诱导逻辑关系;类型闭包转换
PDF格式BibTeX公司 XML格式引用
\textit{A.Ahmed}和\textit{M.Blume}，in：第13届ACM SIGPLAN函数式编程国际会议论文集，ICFP'08，加拿大不列颠哥伦比亚省维多利亚市，2008年9月20-28日。纽约州纽约市：计算机机械协会（ACM）。157--168（2008年；Zbl 1323.68350）
全文： 内政部