generic programming, programming languages, functional programming, type theory; representation of algebraic structures in type systems of modern programming languages
Main publications:
A. M. Pelenitsyn, A. E. Maevskii, “Realizatsiya programmnogo algebro-geometricheskogo kodeka s primeneniem algoritma Sakaty”, Izvestiya YuFU. Tekhnicheskie nauki, 2008, № 8, 196–198
