豆瓣图书标签: 类型系统

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

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

    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 (81人评价)

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


相关的标签  · · · · · ·



> 浏览全部图书标签