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

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

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

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

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

作者简介

Pierce,Benjamin C.

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

未发行或暂未收录

グラフィックスのためのRプログラミング 　2020-02-20 …

Real World Haskell―実戦で学ぶ関数型言語プログラミング 计算机科学,Haskell,程序设计,日文版,World,Real,Programming,　2020-02-20 …

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

世界名作童話 アラジンと魔法のランプ() 动画 家庭 奇幻　2020-02-20 …

龙珠Z特别篇：绝望的反抗!! 仅存的超战士悟饭和特兰克斯 ドラゴンボールZ 絶望への反抗!!残された 动画　2020-02-20 …

迪迦&戴拿&盖亚·奥特曼 超时空的大决戦 ウルトラマンティガウルトラマンダイナ&ウルトラマンガイア 科幻 冒险　2020-02-20 …

迪迦奥特曼&戴拿奥特曼 光之星的战士们 ウルトラマンティガ&ウルトラマンダイナ 光の星の戦士たち() 动作 科幻　2020-02-20 …

剧场版 泰罗奥特曼 劇場版 ウルトラマンタロウ ウルトラの母は太陽のように() 科幻　2020-02-20 …

艾克斯奥特曼剧场版：来了！我们的奥特曼 劇場版 ウルトラマンX きたぞ！われらのウルトラマン() 动作　2020-02-20 …

マラソン中毒者 北極、南極、砂漠マラソン世界一のビジネスマン 日本,　2020-02-20 …

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

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