"Programming Languages and Systems, 11 conf., ESOP 2002" - читать интересную книгу автора (Daniel Le Metayer)