Fridlender, D. and Indrika, M. (2001) “Do we Need Dependent Types?”, BRICS Report Series, 8(10). doi: 10.7146/brics.v8i10.20466.