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:
21 years 22 weeks

Browse archives

Active forum topics

New forum topics

Recent comments

It could be.
2 weeks 20 hours ago
Not sure this is new
2 weeks 1 day ago
My preferred design choices
14 weeks 2 days ago
Delimited continuations don't parallelize well.
14 weeks 2 days ago
With Unicode, Character as a type is in fact meaningless.
14 weeks 4 days ago
With Unicode, Character as a type is in fact meaningless.
14 weeks 4 days ago
...people claim about C++
15 weeks 2 days ago
Terminology counts
15 weeks 2 days ago
Terminology counts
15 weeks 2 days ago
Yeah, been there...
18 weeks 2 days ago