型システム入門 −プログラミング言語と型の理論−读书介绍

Benjamin C. Pierce      ISBN:9784274069116    原作名/别名:《Types and Programming Languages》

型システム入門 −プログラミング言語と型の理論−摘要

型システムを理解するうえでの定番書を翻訳!

型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages"を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。

作者简介

Pierce,Benjamin C.

Pennsylvania大学計算機・情報科学科教授(Salvatori Professor)。主な研究分野はプログラミング言語、静的型システム、ソフトウェアセキュリティ、並行・分散プログラミング、および同期技術。多くの一般ユーザを持つファイル同期ソフトウェアUnisonのメイン設計者でもある。

未发行或暂未收录

型システム入門 −プログラミング言語と型の理論− 　2020-02-20 …

エキサイティングヒロイン 多重人格ヒロイン フロンティアＦ 危機一髪Ver.() 动作 科幻　2020-02-20 …

エキサイティングヒロイン 飛光戦隊ウィングファイブ ウィングシルバー絶対絶命Ver.() 动作 科幻　2020-02-20 …

异常 グロテスク() 惊悚 恐怖 犯罪　2020-02-20 …

エキサイティングヒロイン エミリア ザ バウンティーハンター 絶対絶命Ver.() 动作 科幻　2020-02-20 …

相棒剧场版 相棒 -劇場版- 絶体絶命！42.195km 東京ビッグシティマラソン() 剧情 惊悚 犯罪　2020-02-20 …

赛道天使 サーキットエンジェル 決意のスターティンググリッド() 动画　2020-02-20 …

战斗机甲萨芬格尔剧场版 ザブングル グラフィティ() 动画　2020-02-20 …

エキサイティングヒロイン マイティーガール 絶対絶命Ver.() 科幻　2020-02-20 …

プログラミングコンテストチャレンジブック ～問題解決のアルゴリズム活用力とコーディングテクニックを 算法,计算机,日本,　2020-02-20 …

型システム入門大结局−プログラミング言語と型の理論−大结局

剧情呢，免费看分享剧情、挑选影视作品、精选好书简介分享。