Home » user account

jason stumpf

Personal information


Canada

male

Mathematics, type theory, proofs of program correctness, functional reactive programming, algorithms, simplicity and elegance.

History


17 years 30 weeks