型システム入門 : プログラミング言語と型の理論
著者
書誌事項
型システム入門 : プログラミング言語と型の理論
オーム社, 2013.3
- タイトル別名
-
TAPL
Types and programming languages
- タイトル読み
-
カタ システム ニュウモン : プログラミング ゲンゴ ト カタ ノ リロン
電子リソースにアクセスする 全1件
大学図書館所蔵 全143件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
その他の訳者: 酒井政裕, 今井敬吾, 黒木裕介, 今井宜洋, 才川隆文, 今井健男
監訳: 住井英二郎
参考文献: p[451]-484
内容説明・目次
目次
- 第1部 型無しの計算体系
- 第2部 単純型
- 第3部 部分型付け
- 第4部 再帰型
- 第5部 多相性
- 第6部 高階の型システム
「BOOKデータベース」 より