Fridlender D, Indrika M. Do we Need Dependent Types?. BRICS [Internet]. 2001 Mar. 10 [cited 2024 Apr. 18];8(10). Available from: https://tidsskrift.dk/brics/article/view/20466