豆瓣图书标签: 类型系统

综合排序  /  按出版日期排序  /  按评价排序
  • 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人评价)

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

  • The Little Typer

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

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

  • Advanced Topics in Types and Programming Languages

    Pierce, Benjamin C. 编 / The MIT Press / 2004-12-23 / USD 74.00
    (少于10人评价)

    The study of type systems for programming languages now touches many areas of ...

  • Haskell趣学指南

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

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

  • Type Theory and Formal Proof : An Introduction

    Rob Nederpelt、Herman Geuvers / Cambridge University Press / 2014-10-31 / USB 80.00
    (少于10人评价)

    Type theory is a fast-evolving field at the crossroads of logic, computer scie...

  • 程序设计语言理论基础

    米切尔 / 电子工业出版社 / 2006-11 / 68.00元
    (12人评价)

    本书提出了一个框架,用于分析程序设计语言的语法、操作和语义性质,该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法,...

  • Marin-Lof类型论程序设计导引

    Bengt Nordstrom / 宋方敏 / 南京大学出版社 / 2002-9 / 24.0
    (少于10人评价)

  • Semantics Engineering with PLT Redex

    Matthias Felleisen、Robert Bruce Findler、Matthew Flatt / The MIT Press / 2009-08 / USD 45.00
    (少于10人评价)

    This text is the first comprehensive presentation of reduction semantics in on...

  • 程序设计语言的形式语义

    Glynn Winskel / 宋国新 等 / 中信出版社 机械工业出版社 / 2004-1 / 32.00元
    7.9 (23人评价)

    本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包...

  • Real World OCaml : Introduction to a Flexible and Concise Programming Language

    Jason Hickey、Anil Madhavapeddy、Yaron Minsky / O'Reilly Media / 2013-3-22 / USD 44.30
    9.2 (50人评价)

    Learn how to solve day-to-day problems in data processing, numerical computati...

  • Elements of Programming

    Alexander A. Stepanov、Paul McJones / Addison-Wesley Professional / 2009-6-19 / USD 39.99
    8.1 (15人评价)

    Elements of Programming provides a different understanding of programming than...

  • 函数式F#语言程序设计

    复旦大学出版社 / 2014-10 / 58.00
    (少于10人评价)

    F#是.NET框架下的通用函数式语言,是当前IT界用来开发实际应用的函数式语言之一。本书从类型理论出发,通过函数特征阐述类型变换规则需要遵守的约束,着重描述...

  • Practical Foundations for Programming Languages

    Robert Harper / Cambridge University Press / 2012-11 / USD 72.81
    (少于10人评价)

    In this innovative book, Professor Robert Harper offers a fresh perspective on...

  • 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 ...


相关的标签  · · · · · ·



> 浏览全部图书标签