Модельный язык программирования PollyTL (2011–2012)

Модельный язык PollyTL с шаблонами и автовыводом типов разработан как инструмент исследования автоматического построения ограничений в шаблонах функций.

Выпускная квалификационная работа бакалавра «Автоматическое построение ограничений в модельном языке программирования с шаблонами функций и автовыводом типов» — 2012 г.
Страничка на Wiki PascalABC.NET
Курсовая работа — 2011 г.