User loginNavigation |
Albert Y.C. LaiPersonal informationCanada program derivation methods such as refinement calculi, functional programming, programming contests, mathematical arguments History21 years 22 weeks |
Browse archives
Active forum topicsNew forum topicsRecent comments
|