> 国際化 / 日本語化Sakai
> Milner's paper
> Theory of Objectsj
> Miniml
> Compiler Construction with ML