プログラミング言語の基礎概念 の商品レビュー

五十嵐淳【著】

2020/10/23

プログラムの動作を数学的に厳密に記述するための意味論，型システム，それらに関連する基礎概念について取り扱った本で，関数型言語であるMLにより記述される。オンライン演習システム付き。