購物比價找書網找車網
FindBook  
 有 1 項符合

Advanced Topics in Types and Programming Languages

的圖書
Advanced Topics in Types and Programming Languages Advanced Topics in Types and Programming Languages

出版社:MIT Press
出版日期:2024-07-02
語言:英文   規格:平裝 / 588頁 / 普通級/ 初版
圖書選購
型式價格供應商所屬目錄
 
$ 5100
博客來 博客來
程式語言
圖書介紹 - 資料來源:博客來   評分:
圖書名稱:Advanced Topics in Types and Programming Languages

內容簡介

A thorough and accessible introduction to a range of key ideas in type systems for programming language.

The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key ideas in the field, with contributions by experts on each topic.

The topics covered include precise type analyses, which extend simple type systems to give them a better grip on the run time behavior of systems; type systems for low-level languages; applications of types to reasoning about computer programs; type theory as a framework for the design of sophisticated module systems; and advanced techniques in ML-style type inference.

Advanced Topics in Types and Programming Languages builds on Benjamin Pierce’s Types and Programming Languages (MIT Press, 2002); most of the chapters should be accessible to readers familiar with basic notations and techniques of operational semantics and type systems--the material covered in the first half of the earlier book.

Advanced Topics in Types and Programming Languages can be used in the classroom and as a resource for professionals. Most chapters include exercises, ranging in difficulty from quick comprehension checks to challenging extensions, many with solutions.

 

作者簡介

Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.

 

詳細資料

  • ISBN:9780262552677
  • 規格:平裝 / 588頁 / 普通級 / 初版
  • 出版地:美國
贊助商廣告
 
金石堂 - 今日66折
李辛中醫全精要套書(三冊):《經典中醫精要》、《兒童健康中醫講堂》、《精神健康中醫講堂》
作者:李辛
出版社:橡實
出版日期:2021-07-14
66折: $ 911 
金石堂 - 今日66折
健康之道有聲第4輯﹝2015年新版﹞
作者:許添盛醫師主講
出版社:賽斯文化
出版日期:2015-11-20
66折: $ 660 
金石堂 - 今日66折
個人實相的本質有聲書第8輯(新版)
作者:許添盛醫師
出版社:賽斯文化
出版日期:2020-10-26
66折: $ 660 
金石堂 - 今日66折
【讓自己安心】手寫經書組合套書(三冊):《寫心經》、《寫.藥師經》、《寫.金剛經》
作者:張明明
出版社:漫遊者
出版日期:2022-07-27
66折: $ 535 
 
金石堂 - 暢銷排行榜
療傷遊戲 重新開始 (首刷限定版) 05
作者:日ノ原巡
出版社:東立出版社
出版日期:2025-02-28
$ 170 
Taaze 讀冊生活 - 暢銷排行榜
你願意,人生就會值得:蔡康永的情商課3
作者:蔡康永
出版社:如何出版
出版日期:2024-08-01
$ 352 
博客來 - 暢銷排行榜
以貓貓之軀,讓宇宙完整
作者:四叉貓
出版社:大塊文化
出版日期:2025-01-22
$ 276 
金石堂 - 暢銷排行榜
不經意陷入愛情 double  (特裝版)(全)
作者:鈴丸みんた
出版社:東立出版社
出版日期:2025-01-22
$ 170 
 
金石堂 - 新書排行榜
人生沒有理所當然:【限量親簽版】沒有「應該要」,只有「你想要」!練就跳脫框架、突破自我設限的全方位思考方式
作者:歐陽立中
出版社:幸福文化
出版日期:2025-02-05
$ 300 
博客來 - 新書排行榜
SPY×FAMILY 間諜家家酒 14 (首刷限定版)
作者:遠藤達哉
出版社:東立
出版日期:2025-02-04
$ 212 
Taaze 讀冊生活 - 新書排行榜
唐門妖女江湖行
作者:月光如水夜微涼
出版社:今古傳奇(滾石移動)
出版日期:2025-01-17
$ 180 
金石堂 - 新書排行榜
天才的人間力,鈴木一朗:51+5則超越野球的人生智慧【名人堂增訂特典版,附贈「朗神傳奇」書衣海報】
作者:張尤金
出版社:奇光出版
出版日期:2025-02-05
$ 411 
 

©2025 FindBook.com.tw -  購物比價  找書網  找車網  服務條款  隱私權政策