Type Theory and Functional Programming（Simon Thompson）（Addison-Wesley 1991）epub,mobi,azw3,pdf格式kindle电子书下载，作者：

反馈

书名
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