BibTeX记录conf/dagstuhl/2004P4381
@会议记录{DBLP:conf/dagstuhl/2004P4381， editor={托尔斯滕·阿尔滕科奇和 马丁·霍夫曼和 约翰·休斯， title={依赖类型编程，12.09.- 17.09.2004}, series={达格斯图尔研讨会论文集}， 体积={04381}， publisher={Internationales Begegnungs-und Forschungszentrum f{\“{u}}r Informatik出版社 （IBFI），德国达格斯图尔宫}， 年份={2004}， url={ http://drops.dagstuhl.de/portals/04381/ }, 时间戳={2022年3月16日星期三22:31:12+0100}， biburl={ https://dblp.org/rec/conf/dagstuhl/2004P4381.bi }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
