Fridlender, D.; Indrika, M. Do We Need Dependent Types?. BRICS 2001, 8.