User loginNavigation |
Albert Y.C. LaiPersonal informationCanada program derivation methods such as refinement calculi, functional programming, programming contests, mathematical arguments History17 years 48 weeks |
Browse archivesActive forum topics |
Recent comments
7 weeks 3 days ago
7 weeks 5 days ago
7 weeks 6 days ago
14 weeks 6 days ago
20 weeks 4 days ago
20 weeks 5 days ago
21 weeks 4 days ago
24 weeks 3 days ago
25 weeks 5 days ago
25 weeks 6 days ago