类型理论与函数式编程Type Theory and Functional Programming
本书提供了类型理论的形式系统,并开发了程序和证明的示例。 从功能编程的角度来看,本书强调了系统语言与传统语言之间的差异。
下载地址
用户评论
