Vitaly Lugovsky

Personal information


Russia

male

Metaprogramming, Type theory, Constructive mathematics, Lazy evaluation

History


13 years 10 weeks