型システム入門 プログラミング言語と型の理論
商品の説明
書き込みはありません.
「型システム入門 プログラミング言語と型の理論」
Benjamin C. Pierce / 住井 英二郎 / 遠藤 侑介
定価: ¥ 6800
型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages”(TAPL)を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。
第1章 はじめに
第2章 数学的準備
■第1部 型無しの計算体系
第3章 型無し算術式
第4章 算術式のML実装
第5章 型無しラムダ計算
第6章 項の名無し表現
第7章 ラムダ計算のML実装
■第2部 単純型
第8章 型付き算術式
第9章 単純型付きラムダ計算
第10章 単純型のML実装
第11章 単純な拡張
第12章 正規化
第13章 参照
第14章 例外
■第3部 部分型付け
第15章 部分型付け
第16章 部分型付けのメタ理論
第17章 部分型付けのML実装
第18章 事例:命令的オブジェクト
第19章 事例:Featherweight Java
■第4部 再帰型
第20章 再帰型
第21章 再帰型のメタ理論
■第5部 多相性
第22章 型再構築
第23章 全称型
第24章 存在型
第25章 System F のML実装
第26章 有界量化
第27章 事例:命令的オブジェクト再考
第28章 有界量化のメタ理論
■第6部 高階の型システム
第29章 型演算子とカインド
第30章 高階多相
第31章 高階部分型付け
第32章 事例:純粋関数的オブジェクト
付録A 演習の解答
付録B 記法
参考文献
訳語集
規則図一覧
索引
#BenjaminCPierce #Benjamin_C_Pierce #住井英二郎 #住井_英二郎 #遠藤侑介 #遠藤_侑介 #本 #コンピュータ/コンピュータ商品の情報
カテゴリー | 本・音楽・ゲーム > 本 > コンピュータ/IT |
---|---|
商品の状態 | やや傷や汚れあり |
型システム入門 −プログラミング言語と型の理論−
型システム入門 −プログラミング言語と型の理論−
楽天ブックス: 型システム入門 - プログラミング言語と型の理論
正規逆輸入品】 型システム入門 プログラミング言語と型の理論
よわよわエンジニアがTAPL(型システム入門)を読んだら | sititou70
型システム入門 プログラミング言語と型の理論 Benjamin C.Pierce/著 住井英二郎/監訳 遠藤侑介
型システム入門 / Pierce,Benjamin C.【著】/住井
よわよわエンジニアがTAPL(型システム入門)を読んだら | sititou70
プログラミングの本を読みたいが、数学が分からなくて読めない|magurotuna
新装版 プログラミング言語の基礎理論 | 大堀淳 | 工学 | Kindleストア
プログラミング言語の基礎概念 ((ライブラリ情報学コア・テキスト
2023年最新】住井英二郎の人気アイテム - メルカリ
Basic 12] 関数型言語 / 型理論 | PPT
型システム入門 プログラミング言語と型の理論 Benjamin C.Pierce/著 住井英二郎/監訳 遠藤侑介
lovelani.com - 型システム入門 プログラミング言語と型の理論 価格比較
www.merceriavalencia.com - 型システム入門 プログラミング言語と型の
型システム入門 プログラミング言語と型の理論 | BenjaminC
ゼロから学ぶRust システムプログラミングの基礎から線形型システム
型システム入門 プログラミング言語と型の理論 | BenjaminC
よわよわエンジニアがTAPL(型システム入門)を読んだら | sititou70
型システム入門 −プログラミング言語と型の理論− | Benjamin C
プログラミング[型システム入門 プログラミング言語と方の理論] Benjamin C. Pierce オーム社
型システム入門 −プログラミング言語と型の理論− | Benjamin C
lovelani.com - 新装版 プログラミング言語の基礎理論 価格比較
事前準備|型システム入門 プログラミング言語と型の理論 メモ
型システム入門 第1-4章 / TaPL ch.01-04 - Speaker Deck
2023年最新】プログラミング言語 理論の人気アイテム - メルカリ
購入ネット 【中古】 型システム入門 プログラミング言語と型の理論
型システム入門 プログラミング言語と型の理論【委託】 - 達人出版会
型システム入門 プログラミング言語と型の理論 | BenjaminC
「型推論」特別講義 第9回 (プログラミング言語の基礎理論シリーズ)
プログラミング[型システム入門 プログラミング言語と方の理論] Benjamin C. Pierce オーム社
型システム入門 −プログラミング言語と型の理論− | Benjamin C
「型推論」特別講義 第10回 (プログラミング言語の基礎理論シリーズ)
書籍紹介】型システム入門 | PPT
プログラミング[型システム入門 プログラミング言語と方の理論] Benjamin C. Pierce オーム社
giginet on X:
よわよわエンジニアがTAPL(型システム入門)を読んだら | sititou70
プログラミング[型システム入門 プログラミング言語と方の理論] Benjamin C. Pierce オーム社
「型推論」特別講義 第2回 (プログラミング言語の基礎理論シリーズ)
商品の情報
メルカリ安心への取り組み
お金は事務局に支払われ、評価後に振り込まれます
出品者
スピード発送
この出品者は平均24時間以内に発送しています