Ознакомительный фрагмент. Получить полный доступ
Advanced Topics in Types and Programming Languages