User loginNavigation |
Albert Y.C. LaiPersonal informationCanada program derivation methods such as refinement calculi, functional programming, programming contests, mathematical arguments History18 years 50 weeks |
Browse archivesActive forum topics |
Recent comments
12 hours 22 min ago
2 weeks 8 hours ago
6 weeks 1 day ago
6 weeks 6 days ago
6 weeks 6 days ago
8 weeks 5 days ago
8 weeks 5 days ago
9 weeks 1 day ago
9 weeks 1 day ago
10 weeks 1 day ago