Yves Guiraud | Lambda the Ultimate

Yves Guiraud

view
track

Personal information

Interests:

Polygraphs, n-categories, proof theory, rewriting, functional programming

History

Member for:
19 years 12 weeks

Browse archives

Active forum topics

New forum topics

Recent comments

My preferred design choices
4 weeks 4 days ago
Delimited continuations don't parallelize well.
4 weeks 5 days ago
With Unicode, Character as a type is in fact meaningless.
4 weeks 6 days ago
With Unicode, Character as a type is in fact meaningless.
4 weeks 6 days ago
...people claim about C++
5 weeks 4 days ago
Terminology counts
5 weeks 4 days ago
Terminology counts
5 weeks 4 days ago
Yeah, been there...
8 weeks 5 days ago
Don't throw away a useful tool
9 weeks 3 days ago
Right. That's an example.
9 weeks 3 days ago