Home » user account

Albert Y.C. Lai

Personal information


Canada

male

http://www.vex.net/~trebla/

program derivation methods such as refinement calculi, functional programming, programming contests, mathematical arguments

History


10 years 32 weeks