类型理论与函数式编程(Simon Thompson)Type Theory and Functional Programming (Simon Thompson
本书探讨了马丁-洛夫的构造型理论在计算机编程中的作用。本书的主要重点是如何将理论成功地应用到实践中。
下载地址
用户评论
