обобщённое программирование, языки программирования, функциональное программирование, теория типов; методы представления алгебраических структур в системе типов современных языков программирования.

1. А. М. Пеленицын, А. Э. Маевский, “Реализация программного алгебро-геометрического кодека с применением алгоритма Сакаты”, Известия ЮФУ. Технические науки, 2008, № 8, 196–198

• Южный федеральный университет, г. Ростов-на-Дону