"Programming Languages and Systems, 4 conf., APLAS 2006" - читать интересную книгу автора (Naoki Kobayashi)