"Qualified Types: Theory and Practice (Distinguished Dissertations in Computer Science (No. 9))" - читать интересную книгу автора (Mark P. Jones)