Daniel Yokomizo

Personal information


Brazil

male

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

History


19 years 39 weeks