BibTeX记录conf/popl/GardnerMS12
@正在进行{DBLP:conf/popl/GardnerMS12， author={Philippa Gardner和 Sergio Maffeis和 加雷思·大卫·史密斯}， editor={John Field和 迈克尔·希克斯}， title={朝向JavaScript}的程序逻辑， booktitle={第39届{ACM}{SIGPLAN-SIGACT}原理研讨会论文集 编程语言，{POPL}2012，宾夕法尼亚州费城， 美国，2012年1月22日至28日}， 页数={31--44}， publisher={{ACM}}， 年份={2012}， url={ https://doi.org/10.1145/203656.2103663 }, doi={10.1145/2103656.2103663}， timestamp={星期日，2023年2月12日18:48:25+0100}， biburl={ https://dblp.org/rec/conf/popl/GardnerMS12.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
