在我搜索关于命令式语言的类型系统的研究论文时，我只找到了具有可变引用的语言的解决方案，但没有真正的命令式控制结构，如复合运算符，循环或条件。
所以不清楚如何实现具有部分类型推断的命令式语言，例如http://rust-lang.org。
论文没有提到参数化类型，例如List of a，因为参数化类型是Hindley-Milner类型系统的一个简单扩展 - 只应扩展统一算法，其余推理按原样工作。但是，由于出现了矛盾，因此不能轻易添加赋值，因此必须应用ML值限制等特殊技术。
您是否可以推荐任何描述具有命令性循环，条件，IO和复合语句的语言的类型系统的专家或书籍？