Albert Y.C. Lai | Lambda the Ultimate

Albert Y.C. Lai

view
track

Personal information

Country:
Canada

Gender:
male

Interests:

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

History

Member for:
17 years 48 weeks