大堀 淳オオホリ アツシ

著作一覧

詳細検索

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

  • ISBN:978-4-320-12450-9
  • 判型/ページ数:A5 / 286ページ
  • 発行年月:2019年08月
  • 本体価格:4,600円

高水準プログラミング言語の基礎理論を型付きラムダ計算を用いて詳細に解説。これら基礎理論の学習を通じて,関数型プログラミング言語の動作やその型システムの原理,さらに,多相型,型推論,継続計算,レコード計・・・

新装版 プログラミング言語の基礎理論 書影
新装版 プログラミング言語の基礎理論

プログラミング言語Standard ML入門

  • ISBN:978-4-320-12024-2
  • 判型/ページ数:B5変型 / 292ページ
  • 発行年月:2001年09月
  • 本体価格:4,200円

 Standard ML は,多相関数やパターンマッチング,モジュールなどの最先端の機能を持つ高水準プログラミング言語です。プログラミング言語の研究や開発のプラットフォームとして大学や研究機関で広く使・・・

プログラミング言語Standard ML入門 書影
プログラミング言語Standard ML入門

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

  • ISBN:978-4-320-02659-9
  • 判型/ページ数:A5 / 286ページ
  • 発行年月:1997年02月
  • 本体価格:3,600円

高水準プログラミング言語の基礎理論を型付きラムダ計算を用いて詳細に解説した。

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