Amazonで購入楽天ブックスで購入

プログラミング言語の基礎理論

大堀淳

共立出版 / 2019年

技術: 計算理論・形式言語・コンパイラ・言語処理系

理論・基礎

プログラミング言語の意味論と型理論を扱う教科書。ラムダ計算を土台に、操作的意味論、型推論、多相型、モジュールといった概念を形式的に定義し、言語設計の理論的な基礎を与える。

この本が好きなら

コンパイラの構成と最適化

中田育男 / 朝倉書店 / 2009年

技術: コンパイラ・言語処理系

理論・基礎

量子プログラミングの基礎

インミンシェン(訳: 川辺治之) / 共立出版 / 2017年 / 翻訳書

技術: 量子コンピュータ・計算理論・形式言語

理論・基礎

情報科学における論理

情報科学における論理

小野寛晰 / 日本評論社 / 1994年

技術: 計算理論・形式言語・数学

理論・基礎

情報理論の基礎

小沢一雅 / オーム社 / 2019年

技術: 数学・計算理論・形式言語

理論・基礎

計算論

計算論

高橋正子 / 近代科学社 / 1991年

技術: 計算理論・形式言語

理論・基礎

プログラミング言語の基礎概念

五十嵐淳 / サイエンス社 / 2011年

技術: 計算理論・形式言語・コンパイラ・言語処理系

理論・基礎

この本からもっと探す →

書誌(共立出版、2019年、ISBN 9784320124509)は国立国会図書館サーチAPI(opensearch)の検索結果で確認。著者・訳者は同APIの責任表示「大堀淳 著」による。初版の刊行年1997年は同APIで同書名の全版を引いて確認。