Julia Belyakova

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

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