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