塞德里克·福内特；尼基尔·斯瓦米；陈，胡安；皮埃尔·埃瓦里斯特·达甘；Pierre-Yves支柱；本杰明·利夫希茨 完全抽象编译为JavaScript。 （英语） Zbl 1301.68100号 2013年1月23日至25日，意大利罗马，POPL'13，第40届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1832-7）。371-384 (2013). 引用于4文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 68N20型 编译与解释理论 关键词：完全抽象；程序等效性；细化类型 软件：JavaScript脚本 PDF格式BibTeX公司 XML格式引用 \textit{C.Fournet}等人，摘自：第40届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’13，意大利罗马，2013年1月23日至25日。纽约州纽约市：计算机协会（ACM）。371--384（2013；Zbl 1301.68100） 全文： 内政部 哈尔