Advanced topics in types and programming languages（Benjamin C. Pierce）（MIT Press 2005）

  • 书名：Advanced topics in types and programming languages
  • 出版社：MIT Press
  • 作者：Benjamin C. Pierce
  • 出版年份：2005
  • 电子书格式： pdf
  • 简介：Dive into the advanced world of type systems and programming languages with Benjamin C. Pierce’s seminal work, “Advanced Topics in Types and Programming Languages.” This comprehensive guide explores complex type theories, their applications in language design, and their impact on program correctness and efficiency. Ideal for graduate students and researchers, this book delves into topics like type inference, dependent types, and advanced type systems, providing a rigorous and detailed examination of the field. Enhance your understanding of programming language theory and design with this essential text from MIT Press.
  • ISBN：9780262162289, 02621
  • 下载地址（点击下载）：
    隐藏内容
    本内容登录后免费查看
声明：本站所有电子书，均为来自网络。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。