BibTeX记录conf/popl/2013
@会议记录{DBLP:conf/popl/2013， editor={Roberto Giacobazzi和 拉迪亚·库索特}， title={第40届年度{ACM}{SIGPLAN-SIGACT}原则研讨会 编程语言，{POPL}'13，罗马，意大利-1月23日至25日， 2013}, publisher={{ACM}}， 年份={2013}， url={ https://doi.org/10.1145/2429069 }, doi={10.1145/2429069}， isbn={978-1-4503-1832-7}， timestamp={2021年6月24日星期四16:19:31+0200}， biburl={ https://dblp.org/rec/conf/popl/2013.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
