Albert Y.C. Lai | Lambda the Ultimate

Albert Y.C. Lai

view
track

Personal information

Country:
Canada

Gender:
male

Interests:

program derivation methods such as refinement calculi, functional programming, programming contests, mathematical arguments

History

Member for:
21 years 35 weeks

Browse archives

Active forum topics

New forum topics

Recent comments

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