Marshall Quander

Personal information


male

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

History


15 years 46 weeks