类型理论与函数式编程（Simon Thompson）Type Theory and Functional Programming (Simon Thompson)

【文件属性】：

文件名称：类型理论与函数式编程（Simon Thompson）Type Theory and Functional Programming (Simon Thompson)

文件大小：39KB

文件格式：PDF

更新时间：2022-11-23 22:59:42

计算机科学

本书探讨了马丁-洛夫的构造型理论在计算机编程中的作用。 本书的主要重点是如何将理论成功地应用到实践中。