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
  • 简介：Dive into the fascinating world of type theory with “The Little Typer.” This book, by Daniel P. Friedman and David Thrane Christiansen, provides a practical and accessible introduction to the fundamental concepts of this powerful field. Through clear explanations and engaging examples, readers will learn how to build and understand type systems, essential for functional programming and language design. Perfect for students, researchers, and experienced programmers looking to deepen their knowledge of type theory.
  • ISBN：9780262536431, 02625
  • 下载地址（点击下载）：
    隐藏内容
    本内容登录后免费查看
声明：本站所有电子书，均为来自网络。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。