@第{oostvogels_et_al:DARTS.4.3.3条，author={Oostvogels、Nathalie和De Koster、Joeri和De-Meuter、Wolfgang}，title={{接口中复杂存在约束的静态类型（工件）}}，页数={3:1--3:2}，journal={Dagstuhl手工艺品系列}，ISSN={2509-8195}，年份={2018年}，体积={4}，数字={3}，editor={Oostvogels、Nathalie和De Koster、Joeri和De-Meuter、Wolfgang}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DARTS.4.3.3},URN={URN:nbn:de:0030-drops-92422}，doi={10.4230/DARTS.4.3.3}，annote={关键词：类型系统，接口，依赖逻辑}}
