@会议记录{hadjichristodoulou:LIPIcs.ICLP.2012.451，author={Hadjichristodoulou，Spyros}，title={{带有Prolog}}子类型的渐进多态类型系统，booktitle={第28届国际逻辑程序设计会议（ICLP'12）的技术交流}，页数={451--457}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-43-9}，ISSN={1868-8969}，年份={2012}，体积＝{17}，editor={Dovier、Agostino和Santos Costa，V{'\i}tor}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址＝{Dagstuhl，德国}，URL={https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.451},URN={URN:nbn:de:0030-drops-36452}，doi={10.4230/LIPIcs.ICLP.2012.451}，annote={关键词：类型推断，多态类型系统，逐步类型化，制表，答案包含}}
