大堀淳 - 電子書籍 1

本書は、最新鋭のStandard ML系言語「SML#」を用いて、実践的なMLプログラミング手法を解説する教科書である。型を考えて式を組み合わせていくMLプログラミングの基本はもとより、コマンドの作成や分割コンパイル……続きを見る

本書は、プログラミングやコンピュータに興味を持つ者が、コンパイラの原理と構造、さらにその開発方法を基礎から理解するためのテキストである。コンパイラの理解は、コンピュータの原理やプログラムの実行のしく……続きを見る

MLを初めて学ぶ者を対象に、Standard ML言語によるプログラミングの基礎から基本ライブラリ (Standard ML Basis Library) の利用法までをわかりやすく解説した定番テキストの改定版である。初版の刊行から20年が経……続きを見る

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