"Logical Frameworks " - читать интересную книгу автора (Gerard Huet, G. Plotkin (editors))