"Advanced topics in types and programming languages" - читать интересную книгу автора (Benjamin C. Pierce)