Active/Recent Projects

Past Projects

  • Concept parameters (2014–2017)
    Language support for generic programming in object-oriented languages via explicit, named sets of constraints.

  • WDE ProgrammingABC.NET (only in Russian) (2009–2013)
    PascalABC.NET logo Web development environment for programming languages PascalABC.NET, Python, and C#.

  • PollyTL (only in Russian) (2011–2012)
    A programming language with type inference and automatic constraints collection in generic functions.