BibTeX记录conf/icfp/IgriedS16
@进行中{DBLP:conf/icfp/IgriedS16， 作者=｛Bashar Igried和 Anton Setzer}， editor={詹姆斯·查普曼和 沃特·斯威斯特拉}， title={依赖型理论中一元CSP型过程的编程}， booktitle={第一届类型驱动开发国际研讨会论文集， 泰德@ICFP 2016年9月18日，日本奈良， 页数={28--38}， publisher={{ACM}}， 年份={2016年}， url={ https://doi.org/10.1145/2976022.2976032 }, doi={10.1145/2976022.2976032}， timestamp={星期六，2023年9月30日09:45:14+0200}， biburl={ https://dblp.org/rec/conf/icfp/IgriedS16.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
