Vitaly Lugovsky | Lambda the Ultimate

Vitaly Lugovsky

view
track

Personal information

Country:
Russia

Gender:
male

Interests:

Metaprogramming, Type theory, Constructive mathematics, Lazy evaluation

History

Member for:
22 years 1 week