Projects

Active/Recent Projects

• Subtyping in the Julia programming language (2017–…)

  • Decidable subtyping for Julia (2021–…)

  • MiniJl (2018–2019)
    Tag-based semantic subtyping for nominal types, covariant tuples, and unions

  • LambdaJulia (2017–2018) main project page
    A formalization of subtyping for Julia

• Jules (2020–2021) main project page
  A formalization and analysis of type stability in the Julia language

• Juliette (2019–2020)
  A formalization of eval and world age in the Julia language

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)
  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.