Daniel Yokomizo

Personal information


Brazil

male

http://daniel.yokomizo.org

plt, fp, haskell, type theory, category theory, compilers, library and language design, correctness, proof theory

History


10 years 19 weeks