Type Theory and Functional Programming（Simon Thompson）（Addison-Wesley 1991）

  • 书名：Type Theory and Functional Programming
  • 出版社：Addison-Wesley
  • 作者：Simon Thompson
  • 出版年份：1991
  • 电子书格式： pdf
  • 简介：Dive into the fascinating world of type theory and functional programming with Simon Thompson’s seminal work. This classic text, published in 1991, provides a comprehensive introduction to the theoretical foundations and practical applications of these powerful techniques. Explore the elegance and efficiency of functional programming, and understand the profound impact of type theory on software design. Learn how type systems enhance program correctness, reduce errors, and increase maintainability. Perfect for computer science students and practitioners seeking a deeper understanding of functional programming paradigms.
  • ISBN：9780201416671, 02014
  • 下载地址（点击下载）：
    隐藏内容
    本内容登录后免费查看
声明：本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。