Albert Y.C. Lai | Lambda the Ultimate

Albert Y.C. Lai

view
track

Personal information

Country:
Canada

Gender:
male

URL of homepage:
http://www.vex.net/~trebla/

Interests:

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

History

Member for:
9 years 44 weeks