User loginNavigation 
Albert Y.C. LaiPersonal informationCanada program derivation methods such as refinement calculi, functional programming, programming contests, mathematical arguments History12 years 5 weeks 
Browse archivesActive forum topics
New forum topics

Recent comments
1 hour 36 min ago
20 hours 38 min ago
2 days 3 hours ago
2 days 13 hours ago
2 days 23 hours ago
3 days 2 hours ago
3 days 3 hours ago
3 days 6 hours ago
3 days 11 hours ago
3 days 11 hours ago