豆瓣图书标签: 类型系统

综合排序  /  按出版日期排序  /  按评价排序
  • The Little Typer

    Daniel P. Friedman、David Thrane Christiansen、Duane Bibby、Robert Harper、Conor Mcbride / MIT Press / 2018-10-16 / GBP 30.00
    (12人评价)

    An introduction to dependent types, demonstrating the most beautiful aspects, ...

  • Types and Programming Languages

    Benjamin C. Pierce / The MIT Press / 2002-2-1 / USD 95.00
    9.1 (76人评价)

    A type system is a syntactic method for automatically checking the absence of ...

  • 类型和程序设计语言

    皮尔斯 / 电子工业出版社 / 2005年05月 / 58.0
    7.8 (23人评价)

    类型理论在程序设计语言的发展中起着举足轻重的作用,成熟的类型系统可以帮助完善程序设计本身,帮助运行系统检查程序中的语义错误。 要理解类型系统在程序设计...

  • Haskell趣学指南

    [斯洛文尼亚] Miran Lipovaca / 李亚舟、宋方睿 / 人民邮电出版社 / 2014-1
    9.0 (207人评价)

    《haskell趣学指南》是一本讲解haskell这门函数式编程语言的入门指南,语言通俗易懂,插图生动幽默,示例短小清晰,结构安排合理。书中从haskell...

  • Object-Oriented Software Construction : 2nd edition

    Bertrand Meyer / Prentice Hall / 2000-03-21 / USD 132.65
    (11人评价)

    Contents Preface V Foreword To The Second Edition Xiii About The Accompanying ...


相关的标签  · · · · · ·



> 浏览全部图书标签