BibTeX记录conf/ppdp/EchahedEMP21
@正在进行{DBLP:conf/ppdp/EchahedEMP21， author={Rachid Echahed和 Mnacho Echenim和 Mehdi Mhalla和 尼古拉斯·佩尔蒂埃}， editor={Niccol{\`{o}}Veltri和 尼克·本顿和 Silvia Ghilezan}， title={基于叠加的图解推理微积分}， booktitle＝｛｛PPDP｝2021：第23届国际原则与实践研讨会 声明性编程，爱沙尼亚塔林，2021年9月6日至8日}， 页数={10:1--10:13}， publisher={{ACM}}， 年份={2021}， url={ https://doi.org/10.1145/347939405 }, doi={10.1145/3479394.05}， timestamp={2023年3月21日星期二21:03:02+0100}， biburl={ https://dblp.org/rec/conf/ppdp/EchahedEMP21.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
