"Advanced Topics in Types and Programming Languages" - читать интересную книгу автора (Benjamin C. Pierce)