Vitaly Lugovsky

Personal information


Russia

male

Metaprogramming, Type theory, Constructive mathematics, Lazy evaluation

History


20 years 15 weeks