Home » user account

jason stumpf

Personal information


Canada

male

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

History


9 years 51 weeks