文件名称:类型理论与函数式编程(Simon Thompson)Type Theory and Functional Programming (Simon Thompson)
文件大小:39KB
文件格式:PDF
更新时间:2022-11-23 22:59:42
计算机科学
本书探讨了马丁-洛夫的构造型理论在计算机编程中的作用。 本书的主要重点是如何将理论成功地应用到实践中。
文件名称:类型理论与函数式编程(Simon Thompson)Type Theory and Functional Programming (Simon Thompson)
文件大小:39KB
文件格式:PDF
更新时间:2022-11-23 22:59:42
计算机科学
本书探讨了马丁-洛夫的构造型理论在计算机编程中的作用。 本书的主要重点是如何将理论成功地应用到实践中。