提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/popl/BodinCFGMNSS14澳大利亚——马丁·博丹澳大利亚——亚瑟·查古埃罗澳大利亚-费拉雷蒂，丹尼尔澳大利亚-菲利普·加德纳AU-马菲斯，塞尔吉奥澳大利亚-Daiva Naudziuniene阿兰·施密特澳大利亚-加雷思·史密斯TI-一个可信的机械化JavaScript规范。BT-第41届ACM SIGPLAN-SIGACT编程语言原则年会，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月20日至21日SP-87EP-1002014年上半年//DO-10.1145/2535838.2535876UR-（欧元）https://doi.org/10.1145/2535838.2535876UR-（欧元）https://doi.org/10.1145/2578855.2535876急诊室-