satokittyさんのページ

数少ない実践的なプログラマ向けのプログラミング言語形式意味論についての書籍。是非読みたい。