BibTeX记录conf/iclp/Tarau15
@正在进行{DBLP:conf/iclp/Tarau15， author={Paul Tarau}， editor={Marina De Vos和 托马斯·艾特和 Yuliya Lierler和 弗朗西丝卡·托尼， title={关于Lambda项的类型定向生成}， booktitle={第31届国际技术交流会议录 逻辑编程会议{（ICLP}2015），爱尔兰科克，8月 31-2015年9月4日}， series={{CEUR}研讨会论文集}， 体积={1433}， publisher={CEUR-WS.org}， 年份={2015年}， url={ https://ceur-ws.org/Vol-1433/tc \_12.pdf}， 时间戳={2023年3月10日星期五16:22:26+0100}， biburl={ https://dblp.org/rec/conf/iclp/Tarau15.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
