>>492
とりあえずModern Compiler Design in MLでもどうぞ