厳密な定義とか言ってるけどさ、formal semanticsが与えられてる
プログラミング言語なんてどれだけあるよ
Standard MLは良いとして、オブジェクト指向言語で何かひとつでも在ったっけ？