Vitaly Lugovsky

Personal information


Russia

male

Metaprogramming, Type theory, Constructive mathematics, Lazy evaluation

History


14 years 2 weeks