Anton Salikhmetov | Lambda the Ultimate

Anton Salikhmetov

view
track

Personal information

Gender:
male

Interests:

interaction nets, optimal reduction, lambda calculus

History

Member for:
9 years 8 weeks

Browse archives

Active forum topics

New forum topics

Recent comments

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