User loginNavigation |
Albert Y.C. LaiPersonal informationCanada program derivation methods such as refinement calculi, functional programming, programming contests, mathematical arguments History20 years 20 weeks |
Browse archives
Active forum topics |
Recent comments
20 weeks 3 days ago
20 weeks 4 days ago
20 weeks 4 days ago
42 weeks 5 days ago
47 weeks 6 hours ago
48 weeks 4 days ago
48 weeks 4 days ago
51 weeks 2 days ago
1 year 3 weeks ago
1 year 3 weeks ago