Marshall Quander

Personal information


male

Type theory, languages implementing unique and interesting models of computation.

History


16 years 17 weeks