Home » user account

jason stumpf

Personal information


Canada

male

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

History


11 years 2 weeks