"Practical Foundations for Programming Languages 1.19 " - читать интересную книгу автора (Robert Harper)