Advanced Topics in Types and Programming Languages

Эта книга представляет собой сборник глав, написанных ведущими исследователями, и служит продолжением классического учебника "Types and Programming Languages" (TAPL). Она предназначена для читателей, уже знакомых с основами теории типов, и углубляется в передовые концепции и методы, используемые в современных исследованиях и разработке языков программирования.

Материал организован в пять частей, охватывающих широкий спектр тем: от точного анализа типов (подструктурные и зависимые типы, эффекты и управление памятью) до типов для низкоуровневых языков (типизированный ассемблер и код с доказательствами безопасности).

Отдельное внимание уделяется использованию типов для формальных рассуждений о программах, включая логические отношения и типизированные операционные рассуждения. Завершают книгу главы о проектировании модульных систем в стиле ML, определениях типов и тонкостях вывода типов в ML.

Книга будет полезна аспирантам, исследователям и практикам, стремящимся к глубокому пониманию теоретических основ и передовых методов в области типов и языков программирования. Каждая глава содержит обширные ссылки на литературу для дальнейшего изучения.