FRIDLENDER, D.; INDRIKA, M. Do we Need Dependent Types?. BRICS Report Series, v. 8, n. 10, 10 Mar. 2001.