3 ms·There is ATS as an example of an imperative language with dependent types.by xmgplays 4y agoThere is ATS as an example of an imperative language with dependent types.