Vitaly Lugovsky

Personal information


Russia

male

Metaprogramming, Type theory, Constructive mathematics, Lazy evaluation

History


19 years 28 weeks