The Little Typer（Daniel P. Friedman， David Thrane Christiansen）（The MIT Press 2018）

  • 书名：The Little Typer
  • 出版社：The MIT Press
  • 作者：Daniel P. Friedman, David Thrane Christiansen
  • 出版年份：2018
  • 电子书格式： pdf
  • 简介：《The Little Typer》是由Daniel P. Friedman和David Thrane Christiansen编写的经典教材，出版于2018年，由MIT出版社发行。此书深入浅出地介绍了类型理论和函数式编程的基本概念，适合对编程语言设计和理论感兴趣的读者。通过一系列有趣的例子和挑战，读者将逐步掌握类型系统的核心思想。多考网提供免费下载，帮助读者更好地理解和应用类型理论。
  • ISBN：9780262536431, 02625
  • 下载地址（点击下载）：
    隐藏内容
    本内容登录后免费查看
声明：本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。