資料詳細

  • 1 件中、 1 件目

情報数学講座 第９巻 プログラミング言語の基礎理論 利用可

広瀬健／〔ほか〕編集 -- 共立出版 -- 199702 -- 0071

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 書庫 007.1/ｼﾖｳ-9/一般Ｈ 115054680 一般 利用可

ページの先頭へ

資料詳細

タイトル 情報数学講座
書名ヨミ ジョウホウ　スウガク　コウザ
巻次 第９巻
巻書名 プログラミング言語の基礎理論
巻書名 プログラミング言語の基礎理論
著者名 広瀬健 ／〔ほか〕編集  
著者ヨミ ヒロセ，ケン  
出版者 共立出版  
出版年 199702
ページ数等 ２７２ｐ
大きさ ２２ｃｍ
内容細目 参考文献：ｐ２６３～２６８
一般件名 情報数学  
ISBN 4-320-02659-4
問合わせ番号（書誌番号） 1100315022
NDC8版 0071

ページの先頭へ

内容一覧

タイトル 著者名 ページ
第１章　プログラミング言語のモデル
第２章　型付きラムダ計算
第３章　型付きラムダ計算の拡張
第４章　型推論システム
第５章　多相型言語のモデル
第６章　レコード計算系の理論

ページの先頭へ