@正在进行{Setzer06，title={依赖类型理论中的面向对象编程}，作者={安东·塞泽尔}，年份={2006}，tags={面向对象编程、元编程、编程、面向主题编程、类型理论、元环境、面向特征编程、元对象}，研究人员={https://researchr.org/publication/Setzer06},引用={0}，引用者={0}，页数={91-108}，booktitle={2006年4月19日至21日在英国诺丁汉举行的2006年TFP第七届函数编程趋势研讨会的修订论文集}，编辑＝{Henrik Nilsson}，体积={7}，series={函数编程趋势}，publisher={Intellect}，isbn={978-1-84150-188-8}，}