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


9 years 43 weeks